Data Fields | |
DdNode * | one |
DdNode * | zero |
NodeData * | page |
st_table * | table |
int | index |
double | max |
int | size |
double | minterms |
Definition at line 100 of file cuddApprox.c.
Definition at line 105 of file cuddApprox.c.
double ApproxInfo::max |
Definition at line 106 of file cuddApprox.c.
double ApproxInfo::minterms |
Definition at line 108 of file cuddApprox.c.
Definition at line 101 of file cuddApprox.c.
Definition at line 103 of file cuddApprox.c.
int ApproxInfo::size |
Definition at line 107 of file cuddApprox.c.
Definition at line 104 of file cuddApprox.c.
Definition at line 102 of file cuddApprox.c.