|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| Classes in net.sf.javabdd used by net.sf.javabdd | |
|---|---|
| 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
|
|
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||