Adiar
2.1.0
An External Memory Decision Diagram Library
|
Common statistics for all algorithms. More...
#include <adiar/statistics.h>
Classes | |
struct | __lpq_t |
Type and usage of this algorithm's levelized priority queue. More... | |
Public Attributes | |
adiar::statistics::__alg_base::__lpq_t | lpq |
Type and usage of this algorithm's levelized priority queue. More... | |
Common statistics for all algorithms.
adiar::statistics::__alg_base::__lpq_t adiar::statistics::__alg_base::lpq |
Type and usage of this algorithm's levelized priority queue.