adiar::statistics::prod3_t Struct Reference

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

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::prod3_t:

Collaboration diagram for adiar::statistics::prod3_t:

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

Detailed Description

3-ary Product Construction algorithm statistics.

See also

bdd_ite

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