adiar::exec_policy::quantify::transposition_growth Class Reference

Multiplicative value for the maximal growth of a BDD may during repeated transpostion before switching to Nested Sweeping. More...

#include <adiar/exec_policy.h>

Public Member Functions
constexpr	transposition_growth (float value)
	Wrap a float.
	operator float () const
	Reobtain the wrapped float

Static Public Member Functions
static constexpr transposition_growth	min ()
	Minimal value.
static constexpr transposition_growth	max ()
	Maximal value.

Detailed Description

Multiplicative value for the maximal growth of a BDD may during repeated transpostion before switching to Nested Sweeping.

A value of 1.0 is equivalent to the original input size. Larger Values reflect an acceptable increase in size. A value between 0.0 and 1.0 requires the BDD to shrink to continue repeating transposition.

A negative value will result in undefined behaviour.

---

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

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