---

DdNode Struct Reference

#include <cudd.h>

Collaboration diagram for DdNode:

[legend]List of all members.

Public Attributes
DdHalfWord	index
DdHalfWord	ref
DdNode *	next
union {
CUDD_VALUE_TYPE   value
DdChildren   kids
}	type

---

Member Data Documentation

DdHalfWord DdNode::index

Definition at line 207 of file cudd.h.

DdChildren DdNode::kids

Definition at line 212 of file cudd.h.

DdNode* DdNode::next

Definition at line 209 of file cudd.h.

DdHalfWord DdNode::ref

Definition at line 208 of file cudd.h.

union { ... } DdNode::type

CUDD_VALUE_TYPE DdNode::value

Definition at line 211 of file cudd.h.

---

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

• cudd.h

---