adiar::exec_policy::quantify Class Reference

Strategies and settings for Adiar to use in quantify/project algorithms. More...

#include <adiar/exec_policy.h>

Classes
class	transposition_growth
	Multiplicative value for the maximal growth of a BDD may during repeated transpostion before switching to Nested Sweeping. More...
class	transposition_max
	Maximum number of repeated transpositions before switching to nested sweeping. More...

Public Types
enum	algorithm : char { Nested , Singleton }
	to use for quantification and projection. More...

Detailed Description

Strategies and settings for Adiar to use in quantify/project algorithms.

Adiar’s supports multiple approaches to compute the quantification of multiple variables. While Auto heuristically uses one or more of the three options, one can choose to run the approach of particular interest

See also

bdd_exists bdd_forall zdd_project

Member Enumeration Documentation

algorithm

enum adiar::exec_policy::quantify::algorithm : char

to use for quantification and projection.

Enumerator
Nested	Use the nested sweeping framework (recommended).
Singleton	Quantify each variable independently.

---

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

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