|
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.