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