cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
DdGen Struct Reference

CUDD generator. More...

#include <cuddInt.h>

Collaboration diagram for DdGen:
Collaboration graph
[legend]

Data Fields

DdManagermanager
 
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
 
DdNodenode
 

Detailed Description

CUDD generator.


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