| Interface | Description |
|---|---|
| NodeName |
interface for an object that gives "names" to each node in a *DD tree
|
| PrintTarget |
A print-target is where text can be printed to, checkout JDDConsole.out,
where all JDD output ends up
|
| Class | Description |
|---|---|
| Allocator |
handles all allocation of *DD related large arrays.
|
| Array |
some common operations involving arrays has been gathered here.
|
| BitStream |
A bit stream, used by jdd.util.zip classes ??
|
| Configuration |
This class contains the various configuration parameters used in the package
|
| Dot |
simple Dot-class that organizes calls to AT&T DOT
|
| FileTarget |
print-target that sends output to a file, used ostly by the tutorials
|
| FileUtility |
Utility functions related to files are gathered here
|
| Flags |
abstraction of flags.
|
| JDDConsole |
out own version of System.out, can be stdout, a file or even some AWT component ...
|
| NotCloseableInputStream |
The only purpose of this wrapper is to have an inputstream that cannot
be closed by that stupid SAX parser [not good if it is a zip stream]
|
| Options |
simple options, not configuration realted
|
| StdoutTarget |
this target send everything to stdout (System.out)
|
| Test |
simple workframe for XP-like unit-testing
|
| TextAreaTarget |
a print target that directs everything to an AWT TextArea ...
|
| TimeUtility |
A Simple utility for getting time of the day
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.