Uses of Class
net.sf.javabdd.BDDFactory

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)
           
 



Copyright © 2003-2004 John Whaley. All Rights Reserved.