|
Adiar 2.1.0
An External Memory Decision Diagram Library
|
Type and usage of this algorithm's levelized priority queue. More...
#include <adiar/statistics.h>
Public Member Functions | |
| uintwide | total () const |
| Total number of levelized priority queues. | |
Public Attributes | |
| uintwide | unbucketed = 0 |
| Number of unbucketed internal levelized priority queues. | |
| uintwide | internal = 0 |
| Number of bucketed internal levelized priority queues. | |
| uintwide | external = 0 |
| Number of bucketed external levelized priority queues. | |
| uintwide | push_bucket = 0 |
| Number of pushes in the bucketed variant to a bucket. | |
| uintwide | push_overflow = 0 |
| Number of pushes in the bucketed variant to the overflow queue. | |
| uintwide | sum_predicted_max_size = 0 |
| The sum over all levelized priority queue's predicted maximum size, i.e. \(
\sum_{\mathit{pq} \in \mathit{PQ}} \mathit{pq}.\mathit{predicted\_size} \). | |
| uintwide | sum_actual_max_size = 0 |
| The sum over all levelized priority queue's maximum size, i.e. \(
\sum_{\mathit{pq} \in \mathit{PQ}} \mathit{pq}.\mathit{max\_size} \). | |
| double | sum_max_size_ratio = 0.0 |
| Sum over the ratio between predicted and actual maximum size, i.e. \( \sum_{\mathit{pq} \in \mathit{PQ}}
\frac{\mathit{pq}.\mathit{max\_size}}{\mathit{pq}.\mathit{predicted\_size}}
\). | |
| size_t | sum_destructors = 0 |
| Number of calls to the destructor, i.e. the total number of levelized priority queues that have reported their statistics. | |
Type and usage of this algorithm's levelized priority queue.
|
inherited |
The sum over all levelized priority queue's maximum size, i.e. \( \sum_{\mathit{pq} \in \mathit{PQ}} \mathit{pq}.\mathit{max\_size} \).
|
inherited |
The sum over all levelized priority queue's predicted maximum size, i.e. \( \sum_{\mathit{pq} \in \mathit{PQ}} \mathit{pq}.\mathit{predicted\_size} \).