Adiar
2.1.0
An External Memory Decision Diagram Library
|
Arc Files statistics. More...
#include <adiar/statistics.h>
Public Attributes | |
uintwide | push_internal = 0 |
Number of internal arcs written. | |
uintwide | push_in_order = 0 |
Number of terminal arcs written in-order. | |
uintwide | push_out_of_order = 0 |
Number of terminal arcs written out-of-order. | |
uintwide | push_level = 0 |
Number of level informations pushed. | |
uintwide | sort_out_of_order = 0 |
Number of times out-of-order terminal arcs are sorted. | |
Arc Files statistics.