|
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.