Package net.sf.javabdd

Class Summary
BDD Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.
BDD.BDDIterator BDDIterator is used to iterate through the satisfying assignments of a BDD.
BDD.BDDToString BDDToString is used to specify the printing behavior of BDDs with domains.
BDDBitVector Bit vector implementation for BDDs.
BDDDomain Represents a domain of BDD variables.
BDDFactory Interface for the creation and manipulation of BDDs.
BDDFactory.BDDOp Enumeration class for binary operations on BDDs.
BDDFactory.CacheStats Stores statistics about the operator cache.
BDDFactory.GCStats Stores statistics about garbage collections.
BDDFactory.LoadHash LoadHash is used to hash during loading.
BDDFactory.ReorderMethod Enumeration class for method reordering techniques.
BDDPairing Encodes a table of variable pairs.
BuDDyFactory An implementation of BDDFactory that relies on the BuDDy library through a native interface.
CALFactory An implementation of BDDFactory that relies on the CAL library through a native interface.
CUDDFactory An implementation of BDDFactory that relies on the CUDD library through a native interface.
FindBestOrder FindBestOrder
HijackingClassLoader A special classloader that allows you to hijack all of the classes and load them from your list of URLs.
JDDFactory JDDFactory
JFactory This is a 100% Java implementation of the BDD factory.
TestBDDFactory This BDD factory is used to test other BDD factories.
TryVarOrder TryVarOrder
TryVarOrder.BDDOperation  
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.
 

Exception Summary
BDDException An exception caused by an invalid BDD operation.
 



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