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