SVF
Public Attributes | List of all members
DdNode Struct Reference

#include <cudd.h>

Public Attributes

DdHalfWord index
 
DdHalfWord ref
 
DdNode * next
 
union {
   CUDD_VALUE_TYPE   value
 
   DdChildren   kids
 
} type
 

Detailed Description

Definition at line 270 of file cudd.h.

Member Data Documentation

◆ index

DdHalfWord DdNode::index

Definition at line 271 of file cudd.h.

◆ kids

DdChildren DdNode::kids

Definition at line 276 of file cudd.h.

◆ next

DdNode* DdNode::next

Definition at line 273 of file cudd.h.

◆ ref

DdHalfWord DdNode::ref

Definition at line 272 of file cudd.h.

◆ type

union { ... } DdNode::type

◆ value

CUDD_VALUE_TYPE DdNode::value

Definition at line 275 of file cudd.h.

The documentation for this struct was generated from the following file:
Generated by   doxygen 1.8.13