#include <cuddInt.h>

Public Attributes
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 206 of file cuddInt.h.

Member Data Documentation

◆ cube

int* DdGen::cube

Definition at line 212 of file cuddInt.h.

◆ cubes

struct { ... } DdGen::cubes

◆ gen

union { ... } DdGen::gen

◆ manager

DdManager* DdGen::manager

Definition at line 207 of file cuddInt.h.

◆ node

DdNode* DdGen::node

Definition at line 227 of file cuddInt.h.

◆ nodes

struct { ... } DdGen::nodes

◆ primes

struct { ... } DdGen::primes

◆ size

int DdGen::size

Definition at line 220 of file cuddInt.h.

◆ sp

int DdGen::sp

Definition at line 224 of file cuddInt.h.

◆ stack [1/2]

DdNode** DdGen::stack

Definition at line 225 of file cuddInt.h.

◆ stack [2/2]

struct { ... } DdGen::stack

◆ status

int DdGen::status

Definition at line 209 of file cuddInt.h.

◆ type

int DdGen::type

Definition at line 208 of file cuddInt.h.

◆ ub

DdNode* DdGen::ub

Definition at line 217 of file cuddInt.h.

◆ value

CUDD_VALUE_TYPE DdGen::value

Definition at line 213 of file cuddInt.h.

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

/home/runner/work/SVF-1/SVF-1/include/CUDD/cuddInt.h

Public Attributes