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

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.