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

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

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

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

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

Uses of MvSetFactory in edu.toronto.cs.cfa
 

Classes in edu.toronto.cs.cfa that implement MvSetFactory
 class CFAMvSetFactory
          CFAMvSetFactory.java Created: Sun May 30 18:55:34 2004
 

Methods in edu.toronto.cs.cfa that return MvSetFactory
 MvSetFactory CFAMvSetFactory.CFAMvSet.getFactory()
           
 MvSetFactory CFAMvSetFactory.getMvSetFactory()
           
 

Constructors in edu.toronto.cs.cfa with parameters of type MvSetFactory
CFAMvSetFactory(MvSetFactory _factory, CFA _cfa)
           
 

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 MvSetModelChecker.getMvSetFactory()
           
 MvSetFactory XKripkeStructure.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 CUADDMvSetFactory.CUADDMvSet.getFactory()
           
 MvSetFactory JADDMvSetFactory.JADDMvSet.getFactory()
           
 MvSetFactory JCUDDBelnapMvSetFactory.JCUDDBelnapMvSet.getFactory()
           
 MvSetFactory JCUDDMvSetFactory.JCUDDMvSet.getFactory()
           
 MvSetFactory MDDMvSetFactory.MDDMvSet.getFactory()
           
 MvSetFactory MvSet.getFactory()
          gets the factory
static MvSetFactory CUADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JADDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JCUDDBelnapMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory JCUDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
static MvSetFactory MDDMvSetFactory.newMvSetFactory(IAlgebra algebra, int nvars)
           
 

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.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return MvSetFactory
 MvSetFactory PredicateTable.getMvSetFactory()
           
 

Methods in edu.toronto.cs.yasm.pprogram with parameters of type MvSetFactory
 void PredicateTable.setMvSetFactory(MvSetFactory _factory)