|
||||||||||
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.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. |
|
BDDPairing
Encodes a table of variable pairs. |
|
HijackingClassLoader
A special classloader that allows you to hijack all of the classes and load them from your list of URLs. |
|
JFactory
This is a 100% Java implementation of the BDD factory. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |