Adiar
2.1.0
An External Memory Decision Diagram Library
|
Common statistics for algorithms using a second priority queue. More...
#include <adiar/statistics.h>
Public Attributes | |
uintwide | runs = 0 |
Number of runs resolved with a secondary priority queue. | |
uintwide | pq_2_elems = 0 |
Number of elements moved from the first priority queue into the second one. | |
Common statistics for algorithms using a second priority queue.