17 #ifndef PPG_STATISTICS_H
18 #define PPG_STATISTICS_H
20 #include "ppg_settings.h"
22 #if PPG_HAVE_STATISTICS
26 uint32_t n_nodes_visited;
27 uint32_t n_token_checks;
28 uint32_t n_furcations;
29 uint32_t n_reversions;
38 void ppg_statistics_get(PPG_Statistics *stat);
44 void ppg_statistics_clear(PPG_Statistics *stat);