adiar::statistics::quantify_t Struct Reference

Quantification algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::quantify_t:

Collaboration diagram for adiar::statistics::quantify_t:

Classes
struct	nested_policy_t
	Nested multi-variable sweeping. More...
struct	nested_transposition_t
	Transposition algorithms prior to nested multi-variable sweeping. More...

Public Attributes
uintwide	runs = 0
	Number of calls to quantification operation.
uintwide	skipped = 0
	Number of bailed-out quantifications for non-existent labels.
uintwide	singleton_sweeps = 0
	Number of single-variable sweeps.
uintwide	nested_sweeps = 0
	Number of nested multi-variable sweeps.
struct adiar::statistics::quantify_t::nested_transposition_t	nested_transposition
struct adiar::statistics::quantify_t::nested_policy_t	nested_policy
__random_access_base	ra
	Statistics for the random-access algorithmic variant.
__pq2_base	pq
	Statistics for the double priority queue algorithmic variant.
uintwide	requests [2] = { 0, 0 }
	Number of requests of arity 1 and 2.
uintwide	requests_unique [2] = { 0, 0 }
	Number of unique requests of arity 1 and 2.
adiar::statistics::__alg_base::__lpq_t	lpq
	Type and usage of this algorithm's levelized priority queue. More...

Detailed Description

Quantification algorithm statistics.

See also

bdd_exists bdd_forall zdd_project

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:

• /home/runner/work/adiar/adiar/src/adiar/statistics.h