|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StatePresenter | |
---|---|
edu.toronto.cs.gclang.parser | ANTLR parser for GCLang |
edu.toronto.cs.gui | Graphical Interaface to XChek multi-valued model-checker |
edu.toronto.cs.modelchecker | Basic CTL model-checking engine based on MvSet |
edu.toronto.cs.proof | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (OLD) |
edu.toronto.cs.proof2 | Provides classes for representing, manipulating, and constructing proofs for CTL formulas (NEW) |
edu.toronto.cs.smv | Provides classes to represent SMV models |
edu.toronto.cs.tlq | Classes used by TLQSolver extension of XChek |
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.gui |
---|
Methods in edu.toronto.cs.gui with parameters of type StatePresenter | |
---|---|
void |
KEGTreeFrame.setStatePresenter(StatePresenter v)
|
void |
ProofTreeFrame.setStatePresenter(StatePresenter v)
|
Constructors in edu.toronto.cs.gui with parameters of type StatePresenter | |
---|---|
KEGTreeFrame(ProofStep _proofStep,
StatePresenter _statePresenter)
|
|
ProofTreeFrame(ProofStep _proofStep,
StatePresenter _statePresenter,
MvSetModelChecker _mc)
|
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.proof |
---|
Constructors in edu.toronto.cs.proof with parameters of type StatePresenter | |
---|---|
ProofStepListModel(StatePresenter _statePresenter)
|
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.smv |
---|
Classes in edu.toronto.cs.smv that implement StatePresenter | |
---|---|
class |
SMVModule.SMVStatePresenter
|
Methods in edu.toronto.cs.smv that return StatePresenter | |
---|---|
StatePresenter |
VariableTable.getStatePresenter()
|
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[] |
PlaceholderReWriter.getSolutions(AlgebraValue v,
StatePresenter presenter)
|
CTLNode[] |
MvSetPlaceholderReWriter.getSolutions(AlgebraValue v,
StatePresenter presenter)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |