|
|||||||||
| Home >> All >> org >> sf >> [ javabdd overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package org.sf.javabdd
| Class Summary | |
| BDD | Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems. |
| BDD.BDDToString | BDDToString is used to specify the printing behavior of BDDs with domains. |
| BDD.OutputBuffer | |
| 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.ReorderMethod | Enumeration class for method reordering techniques. |
| BDDPairing | Encodes a table of variable pairs. |
| BuDDyFactory | An implementation of BDDFactory that relies on the BuDDy library through a native interface. |
| BuDDyFactory.BuDDyBDD | |
| BuDDyFactory.BuDDyBDDBitVector | |
| BuDDyFactory.BuDDyBDDDomain | |
| BuDDyFactory.BuDDyBDDPairing | |
| CUDDFactory | An implementation of BDDFactory that relies on the CUDD library through a native interface. |
| CUDDFactory.CUDDBDD | |
| CUDDFactory.CUDDBDDBitVector | |
| CUDDFactory.CUDDBDDDomain | |
| CUDDFactory.CUDDBDDPairing | |
| JavaFactory | This is a 100% Java implementation of the BDD factory. |
| JavaFactory.BddCache | |
| JavaFactory.BddCacheData | |
| JavaFactory.BddCacheDataD | |
| JavaFactory.BddCacheDataI | |
| JavaFactory.bddCacheStat | |
| JavaFactory.bddGbcStat | |
| JavaFactory.BddNode | Actual data structure for each BDD node. |
| JavaFactory.BddTree | |
| JavaFactory.imatrix | |
| JavaFactory.levelData | |
| JavaFactory.LoadHash | |
| JavaFactory.sizePair | |
| TestBDDFactory | This BDD factory is used to test other BDD factories. |
| TypedBDDFactory | This BDD factory keeps track of what domains each BDD uses, and complains if you try to do an operation where the domains do not match. |
| Exception Summary | |
| BDDException | An exception caused by an invalid BDD operation. |
| JavaFactory.JavaBDDException | |
|
|||||||||
| Home >> All >> org >> sf >> [ javabdd overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||