Adiar  2.1.0
An External Memory Decision Diagram Library
adiar::statistics::arc_file_t Struct Reference

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.
 

Detailed Description

Arc Files statistics.


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