Adiar  2.1.0
An External Memory Decision Diagram Library
adiar::statistics::quantify_t::nested_transposition_t Struct Reference

Transposition algorithms prior to nested multi-variable sweeping. More...

#include <adiar/statistics.h>

Public Attributes

uintwide none = 0
 Number of skipped transpositions (already transposed).
 
uintwide simple = 0
 Number of simple transposition sweeps.
 
uintwide singleton = 0
 Number of single-variable transposition sweeps.
 
uintwide pruning = 0
 Number of pruning multi-variable transposition sweeps.
 
uintwide partial = 0
 Number of partial multi-variable transposition sweeps.
 
uintwide partial_terminations = 0
 Number of early-termination during partial transposition sweeps.
 
uintwide partial_repetitions = 0
 Number of partial multi-variable sweeps that are repeated partial transposition.
 

Detailed Description

Transposition algorithms prior to nested multi-variable sweeping.


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