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} \). 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. | |
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} \).