Adiar  2.1.0
An External Memory Decision Diagram Library
adiar::exec_policy::quantify::transposition_max Class Reference

Maximum number of repeated transpositions before switching to nested sweeping. More...

#include <adiar/exec_policy.h>

Public Member Functions

constexpr transposition_max ()
 Default value construction.
 
constexpr transposition_max (unsigned char value)
 Wrap an unsigned char
 
 operator unsigned char () const
 Reobtain the wrapped unsigned char value.
 

Static Public Member Functions

static constexpr transposition_max min ()
 Minimal value (equivalent to disabling repeated transpositions).
 
static constexpr transposition_max max ()
 Maximal value (equivalent to using the built-in heuristics based on the graph's meta information).
 

Detailed Description

Maximum number of repeated transpositions before switching to nested sweeping.


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