DdGen Struct Reference
#include <cuddInt.h>
Collaboration diagram for DdGen:
Data Fields | |
| DdManager * | manager |
| int | type |
| int | status |
| union { | |
| struct { | |
| int * cube | |
| CUDD_VALUE_TYPE value | |
| } cubes | |
| struct { | |
| st_table * visited | |
| st_generator * stGen | |
| } nodes | |
| } | gen |
| struct { | |
| int sp | |
| DdNode ** stack | |
| } | stack |
| DdNode * | node |
Detailed Description
Definition at line 173 of file cuddInt.h.
Field Documentation
| int* DdGen::cube |
| struct { ... } DdGen::cubes |
| union { ... } DdGen::gen |
| struct { ... } DdGen::nodes |
| struct { ... } DdGen::stack |
| int DdGen::status |
| int DdGen::type |
| CUDD_VALUE_TYPE DdGen::value |
The documentation for this struct was generated from the following file:
- src/bdd/cudd/cuddInt.h
