smtrat::statistics Namespace Reference

Data Structures
struct	StatisticsSettings

Functions
template<typename T >
void	registerStatisticsSettings (T &parser)

Function Documentation

registerStatisticsSettings()

template<typename T >

void smtrat::statistics::registerStatisticsSettings

(

T &

parser

)

Definition at line 16 of file StatisticsSettings.h.

Here is the caller graph for this function: