| 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.CacheStatsCallback |
Operator cache statistics callback.
|
| BDDFactory.ContinuousStatsCallback |
Continuously BDD nodes usage and BDD operations statistics callback.
|
| BDDFactory.GCStats |
Stores statistics about garbage collections.
|
| BDDFactory.GCStatsCallback |
Garbage collection statistics callback.
|
| BDDFactory.LoadHash |
LoadHash is used to hash during loading.
|
| BDDFactory.MaxUsedBddNodesStats |
Stores statistics about the maximum BDD nodes usage.
|
| BDDFactory.MaxUsedBddNodesStatsCallback |
Maximum BDD nodes usage statistics callback.
|
| BDDFactory.ReorderMethod |
Enumeration class for method reordering techniques.
|
| BDDFactory.ReorderStats |
Stores statistics about the last variable reordering.
|
| BDDFactory.ReorderStatsCallback |
Variable reorder statistics callback.
|
| BDDFactory.ResizeStatsCallback |
Node table resize statistics callback.
|
| BDDFactoryIntImpl |
A shared superclass for BDD factories that refer to BDDs as ints.
|
| BDDFactoryIntImpl.IntBDD |
|
| BDDFactoryIntImpl.IntBDDVarSet |
|
| BDDFactoryIntImpl.IntZDDVarSet |
|
| 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.BackwardBitStringIterator |
Iterator for iterating through a bit string in backward order.
|
| BitString.BitStringIterator |
Abstract bit string iterator class.
|
| BitString.ForwardBitStringIterator |
Iterator for iterating through a bit string in forward order.
|
| BitString.ForwardBitStringZeroIterator |
Iterator for iterating through a bit string in forward order.
|
| JFactory |
This is a 100% Java implementation of the BDD factory.
|