| Interface | Description |
|---|---|
| Set |
This is the generic interface for finite SETS
|
| SetEnumeration |
An iterator for the set interface.
|
| Universe |
This is the generic interface for finite universe consisting of
a set of subdomain.
|
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.