| Interface | Description |
|---|---|
| Zbdd.CubeVisitor |
Cube visitor interface to be used with
Zbdd.visitCubes(int, CubeVisitor). |
| ZbddCapacityAdvisor | |
| ZbddLiteralResolver |
Resolve zbdd literal and cube names.
|
| ZbddStatistics |
Zbdd statistics.
|
| Class | Description |
|---|---|
| Zbdd |
Zero-suppressed decision diagram
on Wikipedia.
|
| Exception | Description |
|---|---|
| ZbddException |
Zbdd related exception.
|