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

Levelized Priority Queue statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::levelized_priority_queue_t:
[legend]

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.
 

Detailed Description

Levelized Priority Queue statistics.

Member Data Documentation

◆ sum_actual_max_size

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

See also
sum_predicted_max_size

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

See also
sum_actual_max_size

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