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

Packages that use MvSetFactory
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 
edu.toronto.cs.smv Provides classes to represent SMV models 
edu.toronto.cs.smv.parser ANTLR parsers for SMV models 
edu.toronto.cs.tlq Classes used by TLQSolver extension of XChek 
edu.toronto.cs.xkripke Classes to represent, manipulate, and parse XML representation of XKripke structures. 
 

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

Methods in edu.toronto.cs.gclang.parser that return MvSetFactory
 MvSetFactory VariableTable.getMvSetFactory()
           
 

Methods in edu.toronto.cs.gclang.parser with parameters of type MvSetFactory
 void VariableTable.setMvSetFactory(MvSetFactory _factory)
           
 

Constructors in edu.toronto.cs.gclang.parser with parameters of type MvSetFactory
GCLangBuilder(MvSetFactory _factory, VariableTable _symbolTable)
           
 

Uses of MvSetFactory in edu.toronto.cs.modelchecker
 

Methods in edu.toronto.cs.modelchecker that return MvSetFactory
 MvSetFactory XKripkeStructure.getMvSetFactory()
           
 MvSetFactory MvSetModelChecker.getMvSetFactory()
           
 

Uses of MvSetFactory in edu.toronto.cs.mvset
 

Classes in edu.toronto.cs.mvset that implement MvSetFactory
 class AbstractMvSetFactory
           
 class CUADDMvSetFactory
          Implementation of an MvSet based on the CUADD library
 class JADDMvSetFactory
          Implementation of an MvSet based on the MDD library
 class JCUDDBelnapMvSetFactory
          Implementation of an MvSet based on the JCUDDBelnap library
 class JCUDDMvSetFactory
          Implementation of an MvSet based on the JCUDD library
 class MDDMvSetFactory
          Implementation of an MvSet based on the MDD library
 

Methods in edu.toronto.cs.mvset that return MvSetFactory
 MvSetFactory JCUDDMvSetFactory.JCUDDMvSet.getFactory()
           
 MvSetFactory JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.getFactory()
           
 MvSetFactory MDDMvSetFactory.MDDMvSet.getFactory()
           
 MvSetFactory JADDMvSetFactory.JADDMvSet.getFactory()
           
 MvSetFactory MvSet.getFactory()
          gets the factory
 MvSetFactory CUADDMvSetFactory.CUADDMvSet.getFactory()
           
static MvSetFactory JCUDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JCUDDBelnapMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory MDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory CUADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
 

Uses of MvSetFactory in edu.toronto.cs.smv
 

Methods in edu.toronto.cs.smv that return MvSetFactory
 MvSetFactory VariableTable.getMvSetFactory()
           
 MvSetFactory SMVModule.getMvSetFactory()
           
 

Methods in edu.toronto.cs.smv with parameters of type MvSetFactory
 void VariableTable.setMvSetFactory(MvSetFactory _factory)
           
 

Uses of MvSetFactory in edu.toronto.cs.smv.parser
 

Constructors in edu.toronto.cs.smv.parser with parameters of type MvSetFactory
FullDDBuilder(MvSetFactory _factory, VariableTable _symbolTable)
           
 

Uses of MvSetFactory in edu.toronto.cs.tlq
 

Methods in edu.toronto.cs.tlq with parameters of type MvSetFactory
 void MvSetCrossProductAlgebra.setMvSetFactory(MvSetFactory factory)
           
 void MvSetUpsetAlgebra.setMvSetFactory(MvSetFactory v)
           
 

Constructors in edu.toronto.cs.tlq with parameters of type MvSetFactory
MvSetCrossProductAlgebra(MvSetFactory factory)
           
 

Uses of MvSetFactory in edu.toronto.cs.xkripke
 

Methods in edu.toronto.cs.xkripke with parameters of type MvSetFactory
static MvSet XKripkeMvSetBuilder.buildMvSet(MvSetFactory mvSetFactory, XKripke kripke)
          mvSetFactory -- needed to create MvSets kripke -- the XKripke model to convert propOrder -- interface to order the atomic props
static MvSet XKripkeMvSetBuilder.buildTransition(MvSetFactory mvSetFactory, IAlgebra algebra, XKripke.XKripkeTransition trans, VariableTable vt)