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