adiar::statistics::optmin_t Struct Reference

Boolean Optimization algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::optmin_t:

Collaboration diagram for adiar::statistics::optmin_t:

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

Detailed Description

Boolean Optimization algorithm statistics.

See also

bdd_optmin

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