|
abc-master
|
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 120 of file cuddApprox.c.
| char NodeData::care |
Definition at line 124 of file cuddApprox.c.
| int NodeData::functionRef |
Definition at line 123 of file cuddApprox.c.
| int* NodeData::lightChildNodesPointer |
Definition at line 106 of file cuddSubsetHB.c.
| double* NodeData::mintermPointer |
Definition at line 104 of file cuddSubsetHB.c.
| double NodeData::mintermsN |
Definition at line 122 of file cuddApprox.c.
| double NodeData::mintermsP |
Definition at line 121 of file cuddApprox.c.
| int* NodeData::nodesPointer |
Definition at line 105 of file cuddSubsetHB.c.
| short int NodeData::parity |
Definition at line 126 of file cuddApprox.c.
| char NodeData::replace |
Definition at line 125 of file cuddApprox.c.
| DdNode* NodeData::resultN |
Definition at line 128 of file cuddApprox.c.
| DdNode* NodeData::resultP |
Definition at line 127 of file cuddApprox.c.