StatisticsPrinter.h File Reference

#include "Statistics.h"
#include "StatisticsCollector.h"
#include <fstream>
#include <iostream>
#include <iomanip>

Include dependency graph for StatisticsPrinter.h:

Go to the source code of this file.

Data Structures
struct	carl::statistics::StatisticsPrinter< SOF >

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

Enumerations
enum class	carl::statistics::StatisticsOutputFormat { carl::statistics::SMTLIB , carl::statistics::XML }

Functions
template<StatisticsOutputFormat SOF>
std::ostream &	carl::statistics::operator<< (std::ostream &os, StatisticsPrinter< SOF >)
template<>
std::ostream &	carl::statistics::operator<< (std::ostream &os, StatisticsPrinter< StatisticsOutputFormat::SMTLIB >)
template<>
std::ostream &	carl::statistics::operator<< (std::ostream &os, StatisticsPrinter< StatisticsOutputFormat::XML >)
auto	carl::statistics::statistics_as_smtlib ()
auto	carl::statistics::statistics_as_xml ()
void	carl::statistics::statistics_to_xml_file (const std::string &filename)