Uses of Package
com.github.javabdd

Classes in com.github.javabdd used by com.github.javabdd

Class and 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.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.
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.
MicroFactory BDD factory where each node only takes 16 bytes.
MicroFactory.PairOfInts
MicroFactory.QuadOfInts
MicroFactory.TripleOfInts
UberMicroFactory.PairOfInts
UberMicroFactory.QuadOfInts
UberMicroFactory.TripleOfInts