DdNode Struct Reference

Decision diagram node. More...

#include <cuddInt.h>

Collaboration diagram for DdNode:

Data Fields
DdHalfWord	index
DdHalfWord	ref
DdNode *	next
union {
CUDD_VALUE_TYPE   value
DdChildren   kids
}	type

Detailed Description

Decision diagram node.

Field Documentation

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

---

The documentation for this struct was generated from the following file:

• cudd/cuddInt.h