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 278 of file cudd.h.

---

Field Documentation

DdHalfWord DdNode::index

Definition at line 279 of file cudd.h.

DdChildren DdNode::kids

Definition at line 284 of file cudd.h.

DdNode* DdNode::next

Definition at line 281 of file cudd.h.

DdHalfWord DdNode::ref

Definition at line 280 of file cudd.h.

union { ... } DdNode::type

CUDD_VALUE_TYPE DdNode::value

Definition at line 283 of file cudd.h.

---

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

• src/cuBdd/cudd.h