smtrat::analyzer::AnalyzerStatistics Struct Reference

#include <statistics.h>

Inheritance diagram for smtrat::analyzer::AnalyzerStatistics:

Collaboration diagram for smtrat::analyzer::AnalyzerStatistics:

Public Member Functions
template<typename T >
void	add (const std::string &key, const T &value)

Detailed Description

Definition at line 7 of file statistics.h.

Member Function Documentation

add()

template<typename T >

void smtrat::analyzer::AnalyzerStatistics::add ( const std::string &  key, const T &  value  )

inline

Definition at line 10 of file statistics.h.

Here is the caller graph for this function:

---

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

• smtrat-analyzer/statistics.h