structure created to store subset results for each node and distances with odd and even parity of the node from the root and sink. More...
Collaboration diagram for NodeDist:
Data Fields | |
| DdHalfWord | oddTopDist |
| DdHalfWord | evenTopDist |
| DdHalfWord | oddBotDist |
| DdHalfWord | evenBotDist |
| DdNode * | regResult |
| DdNode * | compResult |
Detailed Description
structure created to store subset results for each node and distances with odd and even parity of the node from the root and sink.
Main data structure in this procedure.
The documentation for this struct was generated from the following file:
- cudd/cuddSubsetSP.c
