DdNode Struct Reference

#include <cudd.h>

Collaboration diagram for DdNode:

[legend]

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

---

Detailed Description

Definition at line 241 of file cudd.h.

---

Field Documentation

DdHalfWord DdNode::index

Definition at line 242 of file cudd.h.

DdChildren DdNode::kids

Definition at line 247 of file cudd.h.

DdNode* DdNode::next

Definition at line 244 of file cudd.h.

DdHalfWord DdNode::ref

Definition at line 243 of file cudd.h.

union { ... } DdNode::type

CUDD_VALUE_TYPE DdNode::value

Definition at line 246 of file cudd.h.

---

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

• src/bdd/cudd/cudd.h