Uses of Interface
edu.toronto.cs.mvset.MvRelation

Packages that use MvRelation
edu.toronto.cs.boolpg   
edu.toronto.cs.cfa   
edu.toronto.cs.gclang.parser   
edu.toronto.cs.modelchecker   
edu.toronto.cs.mvset   
edu.toronto.cs.yasm.pprogram   
 

Uses of MvRelation in edu.toronto.cs.boolpg
 

Methods in edu.toronto.cs.boolpg that return MvRelation
 MvRelation BoolProgramCompiler.getTrans()
           
 

Uses of MvRelation in edu.toronto.cs.cfa
 

Classes in edu.toronto.cs.cfa that implement MvRelation
 class CFAMvSetFactory.CFAMvRelation
           
 

Methods in edu.toronto.cs.cfa that return MvRelation
 MvRelation CFA.CFAEdge.getData()
          Get the Data value.
 MvRelation CFAMvSetFactory.getMvRelation()
           
 

Methods in edu.toronto.cs.cfa with parameters of type MvRelation
 CFA.CFAEdge CFA.addEdge(java.lang.String strValue, CFA.CFANode src, CFA.CFANode dst, MvRelation data)
           
 CFA.CFAEdge CFA.addEdge(java.lang.String strValue, int src, int dst, MvRelation data)
           
 CFA.CFAEdge CFA.addEdge(java.lang.String strValue, int src, int dst, MvRelation data, int dst2)
           
 void CFA.CFAEdge.setData(MvRelation newData)
          Set the Data value.
 

Constructors in edu.toronto.cs.cfa with parameters of type MvRelation
CFA.CFAEdge(java.lang.String _strValue, int sId, int dId, MvRelation _data)
           
CFA.CFAEdge(java.lang.String _strValue, int sId, int dId, MvRelation _data, int dId2)
           
 

Uses of MvRelation in edu.toronto.cs.gclang.parser
 

Methods in edu.toronto.cs.gclang.parser that return MvRelation
 MvRelation GCLangCompiler.getTrans()
           
 

Uses of MvRelation in edu.toronto.cs.modelchecker
 

Methods in edu.toronto.cs.modelchecker that return MvRelation
 MvRelation MvSetModelChecker.getTrans()
           
 MvRelation XKripkeStructure.getTrans()
           
 

Constructors in edu.toronto.cs.modelchecker with parameters of type MvRelation
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 MvRelation in edu.toronto.cs.mvset
 

Classes in edu.toronto.cs.mvset that implement MvRelation
 class MvSetMvRelation
          MvSetMvRelation.java Created: Thu Jun 10 22:57:42 2004
 

Methods in edu.toronto.cs.mvset that return MvRelation
 MvRelation AbstractMvSet.toMvRelation(MvSet invar, MvSet preVarCube, MvSet postVarCube, int[] preToPostMap, int[] postToPreMap)
           
 MvRelation JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.toMvRelation(MvSet invariant, MvSet preVariablesCube, MvSet postVariablesCube, int[] preToPostMap, int[] postToPreMap)
           
 MvRelation JCUDDMvSetFactory.JCUDDMvSet.toMvRelation(MvSet invariant, MvSet preVariablesCube, MvSet postVariablesCube, int[] preToPostMap, int[] postToPreMap)
           
 MvRelation MvSet.toMvRelation(MvSet invar, MvSet preVarCube, MvSet postVarCube, int[] preToPostMap, int[] postToPreMap)
           
 

Uses of MvRelation in edu.toronto.cs.yasm.pprogram
 

Classes in edu.toronto.cs.yasm.pprogram that implement MvRelation
 class CondMvRelation
          MvRelation corresponding to a conditon
 class FunctionCallMvRelation
           
 class ReturnSelectorMvRelation
           
 class SkipMvRelation
           
 

Methods in edu.toronto.cs.yasm.pprogram that return MvRelation
protected  MvRelation PProgramCompiler.getTrans()
           
 

Constructors in edu.toronto.cs.yasm.pprogram with parameters of type MvRelation
FunctionCallMvRelation(MvSet _invariant, MvSet _selector, MvSet _selectorCube, MvRelation _args)