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

Common statistics for algorithms using random access. More...

#include <adiar/statistics.h>

Public Attributes

uintwide runs = 0
 Number of runs resolved with a secondary priority queue.
 
uintwide used_narrowest = 0
 Number of runs where the narrowest could be used.
 
uintwide acc_width = 0
 Accumulation of the width of all diagrams where random access has been used.
 
size_t min_width = std::numeric_limits<size_t>::max()
 Minimum width of a diagrams using random access.
 
size_t max_width = 0u
 Maximum width of a diagrams using random access.
 

Detailed Description

Common statistics for algorithms using random access.


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