|
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
1.8.11