Adiar
2.1.0
An External Memory Decision Diagram Library
|
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. | |
Transposition algorithms prior to nested multi-variable sweeping.