carl::statistics Namespace Reference

Namespaces
	timing

Data Structures
class	MultiCounter
class	Series
class	Statistics
class	StatisticsCollector
struct	StatisticsPrinter
class	Timer

Enumerations
enum class	StatisticsOutputFormat { SMTLIB , XML }

Functions
template<typename T , typename S >
void	serialize (std::stringstream &ss, const std::pair< T, S > &pair)
template<typename T >
void	serialize (std::stringstream &ss, const std::vector< T > &v)
template<typename Key , typename Value , typename Comparator >
void	serialize (std::stringstream &ss, const std::map< Key, Value, Comparator > &m)
template<typename T >
void	serialize (std::stringstream &ss, const T &v)
template<typename T >
auto &	get (const std::string &name)
template<StatisticsOutputFormat SOF>
std::ostream &	operator<< (std::ostream &os, StatisticsPrinter< SOF >)
template<>
std::ostream &	operator<< (std::ostream &os, StatisticsPrinter< StatisticsOutputFormat::SMTLIB >)
template<>
std::ostream &	operator<< (std::ostream &os, StatisticsPrinter< StatisticsOutputFormat::XML >)
auto	statistics_as_smtlib ()
auto	statistics_as_xml ()
void	statistics_to_xml_file (const std::string &filename)

Enumeration Type Documentation

StatisticsOutputFormat

enum carl::statistics::StatisticsOutputFormat

strong

Enumerator
SMTLIB
XML

Definition at line 13 of file StatisticsPrinter.h.

Function Documentation

get()

template<typename T >

auto& carl::statistics::get

(

const std::string &

name

)

Definition at line 33 of file StatisticsCollector.h.

Here is the call graph for this function:

Here is the caller graph for this function:

operator<<() [1/3]

template<StatisticsOutputFormat SOF>

std::ostream& carl::statistics::operator<<	(	std::ostream &	os,
		StatisticsPrinter< SOF >
	)

operator<<() [2/3]

template<>

std::ostream& carl::statistics::operator<<	(	std::ostream &	os,
		StatisticsPrinter< StatisticsOutputFormat::SMTLIB >
	)

Definition at line 25 of file StatisticsPrinter.h.

Here is the call graph for this function:

operator<<() [3/3]

template<>

std::ostream& carl::statistics::operator<<	(	std::ostream &	os,
		StatisticsPrinter< StatisticsOutputFormat::XML >
	)

Definition at line 42 of file StatisticsPrinter.h.

Here is the call graph for this function:

serialize() [1/4]

template<typename Key , typename Value , typename Comparator >

void carl::statistics::serialize ( std::stringstream &  ss, const std::map< Key, Value, Comparator > &  m  )

inline

Definition at line 18 of file Serialization.h.

Here is the call graph for this function:

serialize() [2/4]

template<typename T , typename S >

void carl::statistics::serialize ( std::stringstream &  ss, const std::pair< T, S > &  pair  )

inline

Definition at line 8 of file Serialization.h.

Here is the caller graph for this function:

serialize() [3/4]

template<typename T >

void carl::statistics::serialize ( std::stringstream &  ss, const std::vector< T > &  v  )

inline

Definition at line 13 of file Serialization.h.

Here is the call graph for this function:

serialize() [4/4]

template<typename T >

void carl::statistics::serialize	(	std::stringstream &	ss,
		const T &	v
	)

Definition at line 23 of file Serialization.h.

statistics_as_smtlib()

auto carl::statistics::statistics_as_smtlib

(

)

Definition at line 57 of file StatisticsPrinter.h.

statistics_as_xml()

auto carl::statistics::statistics_as_xml

(

)

Definition at line 60 of file StatisticsPrinter.h.

Here is the caller graph for this function:

statistics_to_xml_file()

void carl::statistics::statistics_to_xml_file

(

const std::string &

filename

)

Definition at line 64 of file StatisticsPrinter.h.

Here is the call graph for this function: