| Package | Description |
|---|---|
| jdd |
root of the JDD package.
|
| jdd.applet |
some applet classes, used on the JDD homepage.
|
| jdd.bdd |
All importent BDD stuff are here.
|
| jdd.bdd.debug |
Classes for debugging and profiling the BDD package.
|
| jdd.bdd.sets |
set representations using BDDs
PACKAGE STATE: alpha |
| jdd.examples |
Some simple examples (mostly for the JDD homepage demos)
|
| jdd.internal.hashtest |
This package containts utilities for stress testing the used hash functions
|
| jdd.internal.tests |
JDD tests are run from here.
|
| jdd.util |
contains a large number of utility classes used by JDD.
|
| jdd.util.jre |
code for testing the performance of the Java Runtime Environment (JRE).
|
| jdd.util.math |
some simple math classes used by the JDD package
|
| jdd.util.sets |
The set interface.
|
| jdd.util.zip |
Compression classes.
|
| jdd.zdd |
Zero-suppressed Binary Decision Diagrams (aka Z-BDD).
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.