#include <statistics.h>
|
typedef std::set< Stat *, StatCmp > | StatSet |
| A type for a set of statistics.
|
|
Definition at line 103 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.
◆ Statistics() [1/2]
Override the copy constructor to do a "deep" copy of statistics values.
◆ Statistics() [2/2]
CVC4::Statistics::Statistics |
( |
const Statistics & | stats | ) |
|
◆ ~Statistics()
CVC4::Statistics::~Statistics |
( |
| ) |
|
◆ 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 |
|
inherited |
Flush all statistics to the given output stream.
◆ getStatistic()
SExpr CVC4::StatisticsBase::getStatistic |
( |
std::string | name | ) |
const |
|
inherited |
Get the value of a named statistic.
◆ operator=() [1/2]
◆ operator=() [2/2]
Override the assignment operator to do a "deep" copy of statistics values.
◆ setPrefix()
virtual void CVC4::StatisticsBase::setPrefix |
( |
const std::string & | prefix | ) |
|
|
virtualinherited |
Set the output prefix for this set of statistics.
◆ d_prefix
std::string CVC4::StatisticsBase::d_prefix |
|
protectedinherited |
◆ d_stats
StatSet CVC4::StatisticsBase::d_stats |
|
protectedinherited |
The set of statistics in this object.
Definition at line 51 of file statistics.h.
◆ s_regDelim
std::string CVC4::StatisticsBase::s_regDelim |
|
staticprotectedinherited |
The documentation for this class was generated from the following file: