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

Fields in com.github.javabdd declared as BDDFactory

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

Methods in com.github.javabdd that return BDDFactory

Modifier and Type	Method	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.IntBDDBitVector.getFactory()
BDDFactory	BDDFactoryIntImpl.IntBDDVarSet.getFactory()
BDDFactory	BDDVarSet.DefaultImpl.getFactory()
abstract BDDFactory	BDDVarSet.getFactory()	Returns the factory that created this BDDVarSet.
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.
static BDDFactory	JFactory.init(int nodenum, int cachesize)

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

Modifier and Type	Method	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	Description
AllSatIterator(BDDFactory factory, boolean level)