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

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

#include <adiar/statistics.h>

Public Attributes

uintwide runs = 0
 Number of runs of the fast isomorphism algorithm.
 
uintwide exit_on_mismatch = 0
 Termination due to the i'th nodes do not match numerically.
 

Detailed Description

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

See also
is_canonical

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