Data Fields | |
double | mintermsP |
double | mintermsN |
int | functionRef |
char | care |
char | replace |
short int | parity |
DdNode * | resultP |
DdNode * | resultN |
double * | mintermPointer |
int * | nodesPointer |
int * | lightChildNodesPointer |
Definition at line 89 of file cuddApprox.c.
char NodeData::care |
Definition at line 93 of file cuddApprox.c.
Definition at line 92 of file cuddApprox.c.
Definition at line 75 of file cuddSubsetHB.c.
double* NodeData::mintermPointer |
Definition at line 73 of file cuddSubsetHB.c.
double NodeData::mintermsN |
Definition at line 91 of file cuddApprox.c.
double NodeData::mintermsP |
Definition at line 90 of file cuddApprox.c.
Definition at line 74 of file cuddSubsetHB.c.
short int NodeData::parity |
Definition at line 95 of file cuddApprox.c.
char NodeData::replace |
Definition at line 94 of file cuddApprox.c.
Definition at line 97 of file cuddApprox.c.
Definition at line 96 of file cuddApprox.c.