|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |