StatisticsCollector.h File Reference

#include <carl-common/memory/Singleton.h>
#include <memory>
#include <string>
#include <vector>

Include dependency graph for StatisticsCollector.h:

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

Go to the source code of this file.

Data Structures
class	carl::statistics::StatisticsCollector

Namespaces
	carl
	carl is the main namespace for the library.
	carl::statistics

Functions
template<typename T >
auto &	carl::statistics::get (const std::string &name)