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

Statistics from O(N log N) time-forward processing equality checking algorithm. More...

#include <adiar/statistics.h>

Public Attributes

uintwide runs = 0
 Number of runs of the slow isomorphism checking algorithm.
 
uintwide exit_on_root = 0
 Termination due to a local violation at the root.
 
uintwide exit_on_processed_on_level = 0
 Termination due to too many requests being processed at some level, i.e. one node must have been paired with two or more.
 
uintwide exit_on_children = 0
 Termination due to mismatch in a node's children's level, i.e. a local violation at some node.
 

Detailed Description

Statistics from O(N log N) time-forward processing equality checking algorithm.


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