Adiar
2.1.0
An External Memory Decision Diagram Library
|
Node Files statistics. More...
#include <adiar/statistics.h>
Public Attributes | |
uintwide | push_node = 0 |
Number of nodes written. | |
uintwide | push_level = 0 |
Number of level informations written. | |
Node Files statistics.