flowStatsStruct Struct Reference

Structure to hold statistics. More...

Data Fields

int pr
long start_time
int phases
int layers
int fpit

Detailed Description

Structure to hold statistics.

Field Documentation

number of fixed point iterations

number of layers

number of phases

level of verbosity

cpu time when the covering started

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