20 #ifndef __CVC4__STATISTICS_H 21 #define __CVC4__STATISTICS_H 42 bool operator()(
const Stat* s1,
const Stat* s2)
const;
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) { }
71 value_type operator*()
const;
82 virtual void setPrefix(
const std::string& prefix);
85 void flushInformation(std::ostream&
out)
const;
88 SExpr getStatistic(std::string name)
const;
94 const_iterator begin()
const;
99 const_iterator end()
const;
A helper class for comparing two statistics.
iterator(const iterator &it)
Simple representation of S-expressions.
std::set< Stat *, StatCmp > StatSet
A type for a set of statistics.
bool operator!=(const iterator &i) const
bool operator==(const iterator &i) const
Macros that should be defined everywhere during the building of the libraries and driver binary...
StatSet d_stats
The set of statistics in this object.
iterator const_iterator
An iterator type over a set of statistics.
struct CVC4::options::out__option_t out
CVC4::Statistics Statistics
static std::string s_regDelim
virtual ~StatisticsBase()