adiar::statistics::quantify_t Struct Reference

Quantification algorithm statistics. More...

#include <adiar/statistics.h>

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

Detailed Description

Quantification algorithm statistics.

See also

bdd_exists bdd_forall zdd_project

---

The documentation for this struct was generated from the following file:

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