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 { | |
| int * cube | |
| DdNode * ub | |
| } primes | |
| struct { | |
| int size | |
| } nodes | |
| } | gen |
| struct { | |
| int sp | |
| DdNode ** stack | |
| } | stack |
| DdNode * | node |
Detailed Description
Definition at line 205 of file cuddInt.h.
Field Documentation
| int* DdGen::cube |
| struct { ... } DdGen::cubes |
| union { ... } DdGen::gen |
| struct { ... } DdGen::nodes |
| struct { ... } DdGen::primes |
| int DdGen::size |
| 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/cuBdd/cuddInt.h
