Statistics.h File Reference

#include "../config.h"
#include <carl-statistics/Statistics.h>

Include dependency graph for Statistics.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	smtrat
	Class to create the formulas for axioms.

Macros
#define	SMTRAT_STATISTICS_INIT(class, variable, name)
#define	SMTRAT_STATISTICS_INIT_STATIC(class, variable, name)
#define	SMTRAT_STATISTICS_CALL(function)
#define	SMTRAT_TIME_START(variable)
#define	SMTRAT_TIME_FINISH(timer, start)

Typedefs
using	smtrat::Statistics = carl::statistics::Statistics

Functions
template<typename T >
auto &	smtrat::statistics_get (const std::string &name)

Macro Definition Documentation

SMTRAT_STATISTICS_CALL

#define SMTRAT_STATISTICS_CALL

(

function

)

Definition at line 23 of file Statistics.h.

SMTRAT_STATISTICS_INIT

#define SMTRAT_STATISTICS_INIT	(		class,
			variable,
			name
	)

Definition at line 21 of file Statistics.h.

SMTRAT_STATISTICS_INIT_STATIC

#define SMTRAT_STATISTICS_INIT_STATIC	(		class,
			variable,
			name
	)

Definition at line 22 of file Statistics.h.

SMTRAT_TIME_FINISH

#define SMTRAT_TIME_FINISH	(		timer,
			start
	)

Definition at line 25 of file Statistics.h.

SMTRAT_TIME_START

#define SMTRAT_TIME_START

(

variable

)

Definition at line 24 of file Statistics.h.