| Class | Description |
|---|---|
| BDD |
BDD main class.
|
| BDDIO |
BDDIO is used to save and load binary decision diagrams independent of the BDD managers.
|
| BDDNames |
BDD-style node naming: v1..vn
|
| BDDPrinter |
Printer class for BDD trees
|
| BDDUserNames |
BDD-style node naming: v1..vn but also accepts names provided by the user
|
| BDDUtil |
some BDD helper function that we could/want not put in the BDD class directly
|
| Cache |
A cache :)
This is the old operation-cache used in JDD.
|
| CacheBase |
This is the base class for all cache classes.
|
| CacheEntry |
A cache entry used by Cache, but not SimpleCache.
|
| DoubleCache |
Cache for int->double.
|
| NodeTable |
implementation of a node table of elements (var,low,high,ref-count) that supports garbage collections.
|
| OptimizedCache |
SimpleCache + some optimization
|
| Permutation |
BDD permutation, a function p:N -> N
|
| SimpleCache |
A cache class that is [we belive] faster and uses less memory than Cache.java.
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.