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.