adiar::statistics::count_t Struct Reference

Counting algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::count_t:

Collaboration diagram for adiar::statistics::count_t:

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

Detailed Description

Counting algorithm statistics.

See also

bdd_satcount bdd_pathcount zdd_size

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