Adiar
2.1.0
An External Memory Decision Diagram Library
|
Levelized Priority Queue statistics. More...
#include <adiar/statistics.h>
Public Attributes | |
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} \). More... | |
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} \). More... | |
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. | |
Levelized Priority Queue statistics.
uintwide adiar::statistics::levelized_priority_queue_t::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} \).
uintwide adiar::statistics::levelized_priority_queue_t::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} \).