Adiar
2.1.0
An External Memory Decision Diagram Library
|
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. | |
Statistics from O(N log N) time-forward processing equality checking algorithm.