Adiar  2.1.0
An External Memory Decision Diagram Library
adiar::statistics::node_file_t Struct Reference

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.
 

Detailed Description

Node Files statistics.


The documentation for this struct was generated from the following file: