|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use MvRelation | |
---|---|
edu.toronto.cs.gclang.parser | ANTLR parser for GCLang |
edu.toronto.cs.modelchecker | Basic CTL model-checking engine based on MvSet |
edu.toronto.cs.mvset | Provides several symbolic implementations of multi-valued sets |
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 |
XKripkeStructure.getTrans()
|
MvRelation |
MvSetModelChecker.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 |
class |
SeqMvRelation
Sequential composition of two relations Created: Fri Jun 10 11:12:12 2005 |
Methods in edu.toronto.cs.mvset that return MvRelation | |
---|---|
MvRelation |
SeqMvRelation.getFirst()
|
MvRelation |
SeqMvRelation.getSecond()
|
MvRelation |
JCUDDMvSetFactory.JCUDDMvSet.toMvRelation(MvSet invariant,
MvSet preVariablesCube,
MvSet postVariablesCube,
int[] preToPostMap,
int[] postToPreMap)
|
MvRelation |
JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.toMvRelation(MvSet invariant,
MvSet preVariablesCube,
MvSet postVariablesCube,
int[] preToPostMap,
int[] postToPreMap)
|
MvRelation |
AbstractMvSet.toMvRelation(MvSet invar,
MvSet preVarCube,
MvSet postVarCube,
int[] preToPostMap,
int[] postToPreMap)
|
MvRelation |
MvSet.toMvRelation(MvSet invar,
MvSet preVarCube,
MvSet postVarCube,
int[] preToPostMap,
int[] postToPreMap)
|
MvRelation |
AbstractMvSet.toMvRelation(MvSet invar,
MvSet invarPost,
MvSet preVarCube,
MvSet postVarCube,
int[] preToPostMap,
int[] postToPreMap)
|
MvRelation |
MvSet.toMvRelation(MvSet invar,
MvSet invarPost,
MvSet preVarCube,
MvSet postVarCube,
int[] preToPostMap,
int[] postToPreMap)
|
Methods in edu.toronto.cs.mvset with parameters of type MvRelation | |
---|---|
SeqMvRelation |
SeqMvRelation.seqAfter(MvRelation v)
|
SeqMvRelation |
SeqMvRelation.seqBefore(MvRelation v)
|
Constructors in edu.toronto.cs.mvset with parameters of type MvRelation | |
---|---|
SeqMvRelation(MvRelation _first,
MvRelation _second)
Creates a new SeqMvRelation instance. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |