Adiar  2.1.0
An External Memory Decision Diagram Library
adiar::statistics::__pq2_base Struct Reference

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.
 

Detailed Description

Common statistics for algorithms using a second priority queue.


The documentation for this struct was generated from the following file: