#include <statistics.h>
|
virtual | ~StatisticsBase () |
|
virtual void | setPrefix (const std::string &prefix) |
| Set the output prefix for this set of statistics.
|
|
void | flushInformation (std::ostream &out) const |
| Flush all statistics to the given output stream.
|
|
SExpr | getStatistic (std::string name) const |
| Get the value of a named statistic.
|
|
const_iterator | begin () const |
| Get an iterator to the beginning of the range of the set of statistics.
|
|
const_iterator | end () const |
| Get an iterator to the end of the range of the set of statistics.
|
|
|
typedef std::set< Stat *, StatCmp > | StatSet |
| A type for a set of statistics.
|
|
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: