| Adiar 2.1.0
    An External Memory Decision Diagram Library | 
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. | |
Common statistics for algorithms using random access.