| Interface | Description |
|---|---|
| BDDDebuger |
This class will report BDD statistics.
|
| Class | Description |
|---|---|
| BDDDebugFrame |
This class will report BDD statistics suing a minimalistic GUI.
|
| BDDTrace |
This is a simple BDD trace driver
It reads trace files a subset of Bwolen Yang's "BDD Trace Driver" file format. It is used to verify the integrity and efficiency of a BDD package against another without creating a whole new application for it... |
| BDDTraceSuite |
This class opens and runs a suite of BDD traces from a zip file.
|
| DebugBDD |
The only function of the class is to verify the integrity of your BDD app by doing extensive
tests on every BDD operation.
|
| IdealCache |
An ideal cache that is have no collisions.
|
| ProfiledBDD |
profiling the BDD by counting each operation.
|
| ProfiledBDD2 |
profiling the BDD by counting and timing each operation
|
| RandomCache |
RandomCache.java:
like SimpleCache but used changing random numbers instead of large prime number
to distribute the hash value.
|
| VerifiedCache |
This cache verifis the SimpleCache on the fly by testing it against an ideal cache.
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.