DdGen Struct Reference

CUDD generator. More...

#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

CUDD generator.

---

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

• cudd/cuddInt.h