cudd  3.0.0
The University of Colorado Decision Diagram Package
Data Fields
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

int flowStatsStruct::fpit

number of fixed point iterations

int flowStatsStruct::layers

number of layers

int flowStatsStruct::phases

number of phases

int flowStatsStruct::pr

level of verbosity

long flowStatsStruct::start_time

cpu time when the covering started


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