|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StatePresenter | |
---|---|
edu.toronto.cs.boolpg | |
edu.toronto.cs.gclang.parser | |
edu.toronto.cs.modelchecker | |
edu.toronto.cs.proof2 | |
edu.toronto.cs.tlq | |
edu.toronto.cs.yasm.pprogram |
Uses of StatePresenter in edu.toronto.cs.boolpg |
---|
Methods in edu.toronto.cs.boolpg that return StatePresenter | |
---|---|
StatePresenter |
BoolProgramCompiler.getStatePresenter()
|
Uses of StatePresenter in edu.toronto.cs.gclang.parser |
---|
Methods in edu.toronto.cs.gclang.parser that return StatePresenter | |
---|---|
StatePresenter |
VariableTable.getStatePresenter()
|
Uses of StatePresenter in edu.toronto.cs.modelchecker |
---|
Methods in edu.toronto.cs.modelchecker that return StatePresenter | |
---|---|
StatePresenter |
XKripkeStructure.getStatePresenter()
|
Constructors in edu.toronto.cs.modelchecker with parameters of type StatePresenter | |
---|---|
XKripkeStructure(MvRelation _trans,
MvSet _init,
int[] _prime,
MvSet _primeCube,
MvSet _unPrimeCube,
java.lang.String[] _varNames,
IAlgebra _algebra,
int _numDDVars,
int _numVars,
CTLReWriter _rewriter,
StatePresenter _statePresenter)
|
|
XKripkeStructure(MvRelation _trans,
MvSet _init,
int[] _prime,
MvSet _primeCube,
MvSet _unPrimeCube,
java.lang.String[] _varNames,
IAlgebra _algebra,
int _numDDVars,
int _numVars,
CTLReWriter _rewriter,
StatePresenter _statePresenter,
java.lang.String _name)
|
Uses of StatePresenter in edu.toronto.cs.proof2 |
---|
Constructors in edu.toronto.cs.proof2 with parameters of type StatePresenter | |
---|---|
ProofStepListModel(StatePresenter _statePresenter)
|
Uses of StatePresenter in edu.toronto.cs.tlq |
---|
Methods in edu.toronto.cs.tlq with parameters of type StatePresenter | |
---|---|
CTLNode |
PlaceholderReWriter.getOneSolution(int bits,
StatePresenter presenter,
boolean negated)
|
CTLNode |
MvSetPlaceholderReWriter.getOneSolution(MvSet v,
StatePresenter presenter,
boolean negated)
|
CTLNode |
PlaceholderReWriter.getSolution(int bits,
StatePresenter presenter)
|
CTLNode |
MvSetPlaceholderReWriter.getSolution(MvSetCrossProductAlgebra.CrossProductValue v,
StatePresenter presenter)
|
CTLNode[] |
MvSetPlaceholderReWriter.getSolutions(AlgebraValue v,
StatePresenter presenter)
|
CTLNode[] |
PlaceholderReWriter.getSolutions(AlgebraValue v,
StatePresenter presenter)
|
Uses of StatePresenter in edu.toronto.cs.yasm.pprogram |
---|
Methods in edu.toronto.cs.yasm.pprogram that return StatePresenter | |
---|---|
StatePresenter |
PProgramCompiler.getStatePresenter()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |