Detailed Description

Definition at line 131 of file cuddApprox.c.

Field Documentation

int ApproxInfo::index

Definition at line 136 of file cuddApprox.c.

double ApproxInfo::max

Definition at line 137 of file cuddApprox.c.

double ApproxInfo::minterms

Definition at line 139 of file cuddApprox.c.

DdNode* ApproxInfo::one

Definition at line 132 of file cuddApprox.c.

NodeData* ApproxInfo::page

Definition at line 134 of file cuddApprox.c.

int ApproxInfo::size

Definition at line 138 of file cuddApprox.c.

st__table* ApproxInfo::table

Definition at line 135 of file cuddApprox.c.

DdNode* ApproxInfo::zero

Definition at line 133 of file cuddApprox.c.

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