DdNode Struct Reference

#include <cudd.h>

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

Detailed Description

Definition at line 278 of file cudd.h.

Field Documentation

ABC_INT64_T DdNode::Id

Definition at line 286 of file cudd.h.

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:

• cudd.h