20#ifndef __CVC4__STATISTICS_H
21#define __CVC4__STATISTICS_H
46 typedef std::set< Stat*, StatCmp >
StatSet;
61 class CVC4_PUBLIC iterator :
public std::iterator< std::input_iterator_tag, std::pair<std::string, SExpr> > {
62 StatSet::iterator d_it;
64 iterator(StatSet::iterator it) : d_it(it) { }
bool operator!=(const iterator &i) const
iterator(const iterator &it)
value_type operator*() const
bool operator==(const iterator &i) const
iterator const_iterator
An iterator type over a set of statistics.
SExpr getStatistic(std::string name) const
Get the value of a named statistic.
virtual void setPrefix(const std::string &prefix)
Set the output prefix for this set of statistics.
StatisticsBase(const StatisticsBase &stats)
const_iterator end() const
Get an iterator to the end of the range of the set of statistics.
const_iterator begin() const
Get an iterator to the beginning of the range of the set of statistics.
StatisticsBase & operator=(const StatisticsBase &stats)
StatSet d_stats
The set of statistics in this object.
virtual ~StatisticsBase()
std::set< Stat *, StatCmp > StatSet
A type for a set of statistics.
static std::string s_regDelim
void flushInformation(std::ostream &out) const
Flush all statistics to the given output stream.
Statistics(const Statistics &stats)
Statistics & operator=(const StatisticsBase &stats)
Override the assignment operator to do a "deep" copy of statistics values.
Statistics & operator=(const Statistics &stats)
Statistics(const StatisticsBase &stats)
Override the copy constructor to do a "deep" copy of statistics values.
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Simple representation of S-expressions.
A helper class for comparing two statistics.
bool operator()(const Stat *s1, const Stat *s2) const