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