ApproxInfo Struct Reference

Main bookkeeping data structure for approximation algorithms. More...

Collaboration diagram for ApproxInfo:
[legend]

Data Fields

DdNodeone
DdNodezero
NodeDatapage
DdHashTabletable
int index
double max
int size
double minterms

Detailed Description

Main bookkeeping data structure for approximation algorithms.


Field Documentation

index of the current node

max number of minterms

how many minterms are left

one constant

per-node information

how many nodes are left

hash table to access the per-node info

BDD zero constant


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1