|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of BDDFactory in net.sf.javabdd |
Subclasses of BDDFactory in net.sf.javabdd | |
class |
BuDDyFactory
An implementation of BDDFactory that relies on the BuDDy library through a native interface. |
class |
CALFactory
An implementation of BDDFactory that relies on the CAL library through a native interface. |
class |
CUDDFactory
An implementation of BDDFactory that relies on the CUDD library through a native interface. |
class |
JDDFactory
JDDFactory |
class |
JFactory
This is a 100% Java implementation of the BDD factory. |
class |
TestBDDFactory
This BDD factory is used to test other BDD factories. |
class |
TypedBDDFactory
This BDD factory keeps track of what domains each BDD uses, and complains if you try to do an operation where the domains do not match. |
Fields in net.sf.javabdd declared as BDDFactory | |
protected BDDFactory |
BDD.BDDIterator.factory
|
Methods in net.sf.javabdd that return BDDFactory | |
static BDDFactory |
TypedBDDFactory.init(int nodenum,
int cachesize)
|
BDDFactory |
TypedBDDFactory.TypedBDD.getFactory()
|
static BDDFactory |
TestBDDFactory.init(int nodenum,
int cachesize)
|
static BDDFactory |
JFactory.init(int nodenum,
int cachesize)
|
static BDDFactory |
JDDFactory.init(int nodenum,
int cachesize)
|
static BDDFactory |
CUDDFactory.init(int nodenum,
int cachesize)
|
static BDDFactory |
CALFactory.init(int nodenum,
int cachesize)
|
static BDDFactory |
BuDDyFactory.init(int nodenum,
int cachesize)
|
abstract BDDFactory |
BDDBitVector.getFactory()
|
abstract BDDFactory |
BDDDomain.getFactory()
Returns the factory that created this domain. |
abstract BDDFactory |
BDD.getFactory()
Returns the factory that created this BDD. |
static BDDFactory |
BDDFactory.init(int nodenum,
int cachesize)
Initializes a BDD factory with the given initial node table size and operation cache size. |
static BDDFactory |
BDDFactory.init(String bddpackage,
int nodenum,
int cachesize)
Initializes a BDD factory of the given type with the given initial node table size and operation cache size. |
Methods in net.sf.javabdd with parameters of type BDDFactory | |
void |
TryVarOrder.writeBDDConfig(BDDFactory bdd,
String fileName)
Write the BDD configuration to a file. |
void |
FindBestOrder.writeBDDConfig(BDDFactory bdd,
String fileName)
|
void |
FindBestOrder.TryThread.readBDDConfig(BDDFactory bdd)
|
Constructors in net.sf.javabdd with parameters of type BDDFactory | |
TypedBDDFactory(BDDFactory f)
|
|
TestBDDFactory(BDDFactory a,
BDDFactory b)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |