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