cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Decision diagram node. More...
#include <cuddInt.h>
Data Fields | |
DdHalfWord | index |
DdHalfWord | ref |
DdNode * | next |
union { | |
CUDD_VALUE_TYPE value | |
DdChildren kids | |
} | type |
Decision diagram node.
DdHalfWord DdNode::index |
variable index
DdChildren DdNode::kids |
for internal nodes
DdNode* DdNode::next |
next pointer for unique table
DdHalfWord DdNode::ref |
reference count
union { ... } DdNode::type |
terminal or internal
CUDD_VALUE_TYPE DdNode::value |
for constant (terminal) nodes