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

Equality Checking algorithm statistics. More...

#include <adiar/statistics.h>

Inheritance diagram for adiar::statistics::equality_t:
[legend]
Collaboration diagram for adiar::statistics::equality_t:
[legend]

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

Detailed Description

Equality Checking algorithm statistics.

See also
bdd_equal zdd_equal

Member Data Documentation

◆ fast_check

struct adiar::statistics::equality_t::fast_t adiar::statistics::equality_t::fast_check

Statistics from O(N) linear-scan equality checking algorithm.

See also
is_canonical

◆ lpq

adiar::statistics::__alg_base::__lpq_t adiar::statistics::__alg_base::lpq
inherited

◆ slow_check

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.


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