Uses of Interface
edu.toronto.cs.modelchecker.StatePresenter

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()