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

◆ fpit

int flowStatsStruct::fpit

number of fixed point iterations

◆ layers

int flowStatsStruct::layers

number of layers

◆ phases

int flowStatsStruct::phases

number of phases

◆ pr

int flowStatsStruct::pr

level of verbosity

◆ start_time

long flowStatsStruct::start_time

cpu time when the covering started


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