YAP 7.1.0
Public Attributes | List of all members
DdNode

Decision diagram node. More...

#include <cuddSupport.h>

Public Attributes

DdHalfWord index
 variable index More...
 
DdHalfWord ref
 reference count More...
 
DdNode * next
 next pointer for unique table More...
 
union {
   CUDD_VALUE_TYPE   value
 for constant (terminal) nodes More...
 
   struct DdChildren   kids
 for internal nodes More...
 
} type
 terminal or internal
 

Detailed Description

Decision diagram node.

Definition at line 55 of file cuddSupport.h.

Member Data Documentation

◆ index

DdHalfWord index

variable index

Definition at line 56 of file cuddSupport.h.

◆ kids

struct DdChildren kids

for internal nodes

Definition at line 61 of file cuddSupport.h.

◆ next

DdNode* next

next pointer for unique table

Definition at line 58 of file cuddSupport.h.

◆ ref

DdHalfWord ref

reference count

Definition at line 57 of file cuddSupport.h.

◆ value

CUDD_VALUE_TYPE value

for constant (terminal) nodes

Definition at line 60 of file cuddSupport.h.

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