DdNode Struct Reference

Decision diagram node. More...

#include <cuddInt.h>

Collaboration diagram for DdNode:
[legend]

Data Fields

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

Detailed Description

Decision diagram node.


Field Documentation

variable index

for internal nodes

next pointer for unique table

reference count

union { ... } DdNode::type

terminal or internal

for constant (terminal) nodes


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1