cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Structure to hold statistics. More...
Data Fields | |
int | pr |
long | start_time |
int | phases |
int | layers |
int | fpit |
Structure to hold statistics.
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