Uses of Class
com.github.javabdd.BDDFactory

Uses of BDDFactory in com.github.javabdd

Subclasses of BDDFactory in com.github.javabdd

Modifier and Type	Class and Description
class	BDDFactoryIntImpl A shared superclass for BDD factories that refer to BDDs as ints.
class	JFactory This is a 100% Java implementation of the BDD factory.
class	MicroFactory BDD factory where each node only takes 16 bytes.
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.
class	UberMicroFactory BDD factory where each node only takes 16 bytes.

Fields in com.github.javabdd declared as BDDFactory

Modifier and Type	Field and Description
protected BDDFactory	BDD.AllSatIterator.f

Methods in com.github.javabdd that return BDDFactory

Modifier and Type	Method and Description
abstract BDDFactory	BDD.getFactory() Returns the factory that created this BDD.
abstract BDDFactory	BDDBitVector.getFactory()
abstract BDDFactory	BDDDomain.getFactory() Returns the factory that created this domain.
BDDFactory	BDDFactoryIntImpl.IntBDD.getFactory()
BDDFactory	BDDFactoryIntImpl.IntBDDVarSet.getFactory()
BDDFactory	BDDFactoryIntImpl.IntBDDBitVector.getFactory()
abstract BDDFactory	BDDVarSet.getFactory() Returns the factory that created this BDDVarSet.
BDDFactory	BDDVarSet.DefaultImpl.getFactory()
BDDFactory	TypedBDDFactory.TypedBDD.getFactory()
BDDFactory	TypedBDDFactory.TypedBDDVarSet.getFactory()
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	JFactory.init(int nodenum, int cachesize)
static BDDFactory	MicroFactory.init(int nodenum, int cachesize)
static BDDFactory	TestBDDFactory.init(int nodenum, int cachesize)
static BDDFactory	TypedBDDFactory.init(int nodenum, int cachesize)
static BDDFactory	UberMicroFactory.init(int nodenum, int cachesize)
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 com.github.javabdd with parameters of type BDDFactory

Modifier and Type	Method and Description
void	FindBestOrder.TryThread.readBDDConfig(BDDFactory bdd)
void	FindBestOrder.writeBDDConfig(BDDFactory bdd, String fileName)
void	TryVarOrder.writeBDDConfig(BDDFactory bdd, String fileName) Write the BDD configuration to a file.

Constructors in com.github.javabdd with parameters of type BDDFactory

Constructor and Description
AllSatIterator(BDDFactory factory, boolean level)
TestBDDFactory(BDDFactory a, BDDFactory b)
TypedBDDFactory(BDDFactory f)