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

Select algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::select_t:
[legend]
Collaboration diagram for adiar::statistics::select_t:
[legend]

Public Attributes

adiar::statistics::__alg_base::__lpq_t lpq
 Type and usage of this algorithm's levelized priority queue. More...
 

Detailed Description

Select algorithm statistics.

See also
bdd_restrict zdd_onset zdd_offset

Member Data Documentation

◆ lpq

adiar::statistics::__alg_base::__lpq_t adiar::statistics::__alg_base::lpq
inherited


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