| BDD |
Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.
|
| BDD.AllSatIterator |
Iterator that returns all satisfying assignments as byte arrays.
|
| 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.ContinuousStats |
Stores continuously statistics about the BDD nodes usage and BDD operations, where BDD operations is a proxy for
time.
|
| BDDFactory.GCStats |
Stores statistics about garbage collections.
|
| BDDFactory.LoadHash |
LoadHash is used to hash during loading.
|
| BDDFactory.MaxUsedBddNodesStats |
Stores statistics about the maximum BDD nodes usage.
|
| BDDFactory.ReorderMethod |
Enumeration class for method reordering techniques.
|
| BDDFactory.ReorderStats |
Stores statistics about reordering.
|
| BDDFactoryIntImpl |
A shared superclass for BDD factories that refer to BDDs as ints.
|
| BDDPairing |
Encodes a table of variable pairs.
|
| BDDVarSet |
Some BDD methods, namely exist(), forall(), unique(), relprod(), applyAll(),
applyEx(), applyUni(), and satCount() take a BDDVarSet argument.
|
| BDDVarSet.DefaultImpl |
Default implementation of BDDVarSet based on BDDs.
|
| BitString |
BitString implements a vector of bits much like java.util.BitSet, except that this
implementation actually works.
|
| BitString.BitStringIterator |
Abstract bit string iterator class.
|
| FindBestOrder |
Find best order.
|
| JFactory |
This is a 100% Java implementation of the BDD factory.
|
| TryVarOrder |
Try var order.
|
| TryVarOrder.BDDOperation |
|