|
abc-master
|
|
abc-master
|
#include <cuddInt.h>
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 |
| struct { ... } DdGen::cubes |
| union { ... } DdGen::gen |
| struct { ... } DdGen::nodes |
| struct { ... } DdGen::primes |
| struct { ... } DdGen::stack |
| CUDD_VALUE_TYPE DdGen::value |
1.8.6 
