Uses of Class
net.sf.javabdd.BDDFactory

Uses of BDDFactory in net.sf.javabdd

Subclasses of BDDFactory in net.sf.javabdd

class	BDDFactoryIntImpl A shared superclass for BDD factories that refer to BDDs as ints.
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	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 net.sf.javabdd declared as BDDFactory

protected BDDFactory

BDD.AllSatIterator.f

Methods in net.sf.javabdd that return BDDFactory

BDDFactory	TypedBDDFactory.TypedBDD.getFactory()
BDDFactory	TypedBDDFactory.TypedBDDVarSet.getFactory()
BDDFactory	BDDFactoryIntImpl.IntBDD.getFactory()
BDDFactory	BDDFactoryIntImpl.IntBDDVarSet.getFactory()
BDDFactory	BDDFactoryIntImpl.IntBDDBitVector.getFactory()
abstract BDDFactory	BDDBitVector.getFactory()
abstract BDDFactory	BDDDomain.getFactory() Returns the factory that created this domain.
abstract BDDFactory	BDDVarSet.getFactory() Returns the factory that created this BDDVarSet.
BDDFactory	BDDVarSet.DefaultImpl.getFactory()
abstract BDDFactory	BDD.getFactory() Returns the factory that created this BDD.
static BDDFactory	UberMicroFactory.init(int nodenum, int cachesize)
static BDDFactory	TypedBDDFactory.init(int nodenum, int cachesize)
static BDDFactory	TestBDDFactory.init(int nodenum, int cachesize)
static BDDFactory	MicroFactory.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)
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	FindBestOrder.TryThread.readBDDConfig(BDDFactory bdd)
void	TryVarOrder.writeBDDConfig(BDDFactory bdd, String fileName) Write the BDD configuration to a file.
void	FindBestOrder.writeBDDConfig(BDDFactory bdd, String fileName)

Constructors in net.sf.javabdd with parameters of type BDDFactory

BDD.AllSatIterator(BDDFactory factory, boolean level)

TestBDDFactory(BDDFactory a, BDDFactory b)

TypedBDDFactory(BDDFactory f)