Module com.github.javabdd

Package com.github.javabdd

Interface Summary

Interface	Description
BDDFactory.CacheStatsCallback	Operator cache statistics callback.
BDDFactory.ContinuousStatsCallback	Continuously BDD nodes usage and BDD operations statistics callback.
BDDFactory.GCStatsCallback	Garbage collection statistics callback.
BDDFactory.MaxMemoryStatsCallback	Maximum memory usage statistics callback.
BDDFactory.MaxUsedBddNodesStatsCallback	Maximum BDD nodes usage statistics callback.
BDDFactory.ReorderStatsCallback	Variable reorder statistics callback.
BDDFactory.ResizeStatsCallback	Node table resize statistics callback.

Class Summary

Class	Description
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.GCStats	Stores statistics about garbage collections.
BDDFactory.LoadHash	LoadHash is used to hash during loading.
BDDFactory.MaxMemoryStats	Stores statistics about the maximum memory usage.
BDDFactory.MaxUsedBddNodesStats	Stores statistics about the maximum BDD nodes usage.
BDDFactory.ReorderMethod	Enumeration class for method reordering techniques.
BDDFactory.ReorderStats	Stores statistics about the last variable 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

Exception Summary

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