cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
DdNode Struct Reference

Decision diagram node. More...

#include <cuddInt.h>

Collaboration diagram for DdNode:
Collaboration graph
[legend]

Data Fields

DdHalfWord index
 
DdHalfWord ref
 
DdNodenext
 
union {
   CUDD_VALUE_TYPE   value
 
   DdChildren   kids
 
type
 

Detailed Description

Decision diagram node.

Field Documentation

◆ index

DdHalfWord DdNode::index

variable index

◆ kids

DdChildren DdNode::kids

for internal nodes

◆ next

DdNode* DdNode::next

next pointer for unique table

◆ ref

DdHalfWord DdNode::ref

reference count

◆ type

union { ... } DdNode::type

terminal or internal

◆ value

CUDD_VALUE_TYPE DdNode::value

for constant (terminal) nodes


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