#include <statistics.h>
Definition at line 35 of file statistics.h.
◆ const_iterator
An iterator type over a set of statistics.
Definition at line 79 of file statistics.h.
◆ StatSet
A type for a set of statistics.
Definition at line 46 of file statistics.h.
◆ StatisticsBase() [1/2]
CVC4::StatisticsBase::StatisticsBase |
( |
| ) |
|
|
protected |
◆ StatisticsBase() [2/2]
◆ ~StatisticsBase()
virtual CVC4::StatisticsBase::~StatisticsBase |
( |
| ) |
|
|
inlinevirtual |
◆ begin()
Get an iterator to the beginning of the range of the set of statistics.
◆ end()
Get an iterator to the end of the range of the set of statistics.
◆ flushInformation()
void CVC4::StatisticsBase::flushInformation |
( |
std::ostream & |
out | ) |
const |
Flush all statistics to the given output stream.
◆ getStatistic()
SExpr CVC4::StatisticsBase::getStatistic |
( |
std::string |
name | ) |
const |
Get the value of a named statistic.
◆ operator=()
◆ setPrefix()
virtual void CVC4::StatisticsBase::setPrefix |
( |
const std::string & |
prefix | ) |
|
|
virtual |
Set the output prefix for this set of statistics.
◆ d_prefix
std::string CVC4::StatisticsBase::d_prefix |
|
protected |
◆ d_stats
StatSet CVC4::StatisticsBase::d_stats |
|
protected |
The set of statistics in this object.
Definition at line 51 of file statistics.h.
◆ s_regDelim
std::string CVC4::StatisticsBase::s_regDelim |
|
staticprotected |
The documentation for this class was generated from the following file: