Adiar
2.1.0
An External Memory Decision Diagram Library
|
Equality Checking algorithm statistics. More...
#include <adiar/statistics.h>
Classes | |
struct | fast_t |
Statistics from O(N) linear-scan equality checking algorithm. More... | |
struct | slow_t |
Statistics from O(N log N) time-forward processing equality checking algorithm. More... | |
Public Attributes | |
uintwide | exit_on_same_file = 0 |
Early O(1) termination due to same file on disk. | |
uintwide | exit_on_nodecount = 0 |
Early O(1) termination due to mismatch in number of nodes. | |
uintwide | exit_on_varcount = 0 |
Early O(1) termination due to mismatch in number of levels. | |
uintwide | exit_on_width = 0 |
Early O(1) termination due to mismatch in width. | |
uintwide | exit_on_terminalcount = 0 |
Early O(1) termination due to mismatch in number of arcs to terminals. | |
uintwide | exit_on_levels_mismatch = 0 |
Early O(L) termination due to per-level meta information does not match. | |
struct adiar::statistics::equality_t::slow_t | slow_check |
Statistics from O(N log N) time-forward processing equality checking algorithm. More... | |
struct adiar::statistics::equality_t::fast_t | fast_check |
Statistics from O(N) linear-scan equality checking algorithm. More... | |
adiar::statistics::__alg_base::__lpq_t | lpq |
Type and usage of this algorithm's levelized priority queue. More... | |
struct adiar::statistics::equality_t::fast_t adiar::statistics::equality_t::fast_check |
Statistics from O(N) linear-scan equality checking algorithm.
|
inherited |
struct adiar::statistics::equality_t::slow_t adiar::statistics::equality_t::slow_check |
Statistics from O(N log N) time-forward processing equality checking algorithm.