adiar::statistics::prod2_t Struct Reference

2-ary Product Construction algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::prod2_t:

Collaboration diagram for adiar::statistics::prod2_t:

Public Attributes
uintwide	trivial_file = 0
	Number of runs resolved due to the same file given twice.
uintwide	trivial_terminal = 0
	Number of runs resolved due to one argument being a terminal.
__random_access_base	ra
	Statistics for the random-access algorithmic variant.
__pq2_base	pq
	Statistics for the double priority queue algorithmic variant.
adiar::statistics::__alg_base::__lpq_t	lpq
	Type and usage of this algorithm's levelized priority queue. More...

Detailed Description

2-ary Product Construction algorithm statistics.

See also

bdd_apply zdd_binop

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