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