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

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)