Adiar  2.1.0
An External Memory Decision Diagram Library
Statistics

Statistics on the internal algorithms and data structures. More...

Classes

struct  adiar::statistics
 Available statistics from algorithm's and data structures. More...
 

Functions

statistics adiar::statistics_get ()
 Obtain a copy of all statistics gathered. More...
 
void adiar::statistics_print (std::ostream &o=std::cout)
 Print statistics to an output stream (default std::cout). More...
 
void adiar::statistics_reset ()
 Resets all statistics to default value. More...
 

Detailed Description

Statistics on the internal algorithms and data structures.

Precondition
Statistics are by default not gathered due to a concern of the performance of Adiar. That is, the logic related to updating the statistics is only run when the ADIAR_STATS CMake variable is set to ON.

Function Documentation

◆ statistics_get()

statistics adiar::statistics_get ( )

Obtain a copy of all statistics gathered.

Available statistics from algorithm's and data structures.

Precondition
These numbers are always available, but they are only populated with actual statistics if Adiar is compiled with the ADIAR_STATS CMake variable set to ON.

◆ statistics_print()

void adiar::statistics_print ( std::ostream &  o = std::cout)

Print statistics to an output stream (default std::cout).

Available statistics from algorithm's and data structures.

Precondition
These numbers are always available, but they are only populated with actual statistics if Adiar is compiled with the ADIAR_STATS CMake variable set to ON.

◆ statistics_reset()

void adiar::statistics_reset ( )

Resets all statistics to default value.

See also
statistics