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