DdGen Struct Reference

CUDD generator. More...

#include <cuddInt.h>

Collaboration diagram for DdGen:
[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:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1