Adiar
2.1.0
An External Memory Decision Diagram Library
|
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). | |
Maximum number of repeated transpositions before switching to nested sweeping.