adiar::exec_policy::quantify Class Reference

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

#include <adiar/exec_policy.h>

Public Types
enum	algorithm : char { Nested , Singleton }
	Wrap an iterator into a consumer function. 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 given options, one can choose to run the approach of particular interest.

Note

For more details, please read "Multi-variable Quantification of BDDs in External Memory using Nested Sweeping" arXiv 2024.

See also

bdd_exists bdd_forall zdd_project

Member Enumeration Documentation

algorithm

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

Wrap an iterator into a consumer function. 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