Interface | Description |
---|---|
HlddVisitor |
This class represents the
HlddModel visitor interface. |
Class | Description |
---|---|
Hldd |
This class represents a High-Level Decision Diagram (HLDD) of a variable assignment function.
|
HlddModel |
This class represents a HlddModel which consists of HlddModules, HlddProcesses and Hldds.
|
HlddModule |
This class represents a module of a HLDD model.
|
HlddNode |
This class represents a node of a high-level decision diagram (HLDD).
|
HlddProcess |
This class represents a process of a HLDD model.
|
HlddWalker |
Hldd model walker.
|
Enum | Description |
---|---|
HlddNode.NodeType |
Type of a node.
|