cvc4-1.3
CVC4::StatisticsBase Class Reference

#include <statistics.h>

Inheritance diagram for CVC4::StatisticsBase:
CVC4::Statistics

Data Structures

class  iterator
 
struct  StatCmp
 A helper class for comparing two statistics. More...
 

Public Types

typedef iterator const_iterator
 An iterator type over a set of statistics. More...
 

Public Member Functions

virtual ~StatisticsBase ()
 
virtual void setPrefix (const std::string &prefix)
 Set the output prefix for this set of statistics. More...
 
void flushInformation (std::ostream &out) const
 Flush all statistics to the given output stream. More...
 
SExpr getStatistic (std::string name) const
 Get the value of a named statistic. More...
 
const_iterator begin () const
 Get an iterator to the beginning of the range of the set of statistics. More...
 
const_iterator end () const
 Get an iterator to the end of the range of the set of statistics. More...
 

Protected Types

typedef std::set< Stat *, StatCmpStatSet
 A type for a set of statistics. More...
 

Protected Member Functions

 StatisticsBase ()
 
 StatisticsBase (const StatisticsBase &stats)
 
StatisticsBaseoperator= (const StatisticsBase &stats)
 

Protected Attributes

std::string d_prefix
 
StatSet d_stats
 The set of statistics in this object. More...
 

Static Protected Attributes

static std::string s_regDelim
 

Detailed Description

Definition at line 35 of file statistics.h.

Member Typedef Documentation

An iterator type over a set of statistics.

Definition at line 79 of file statistics.h.

typedef std::set< Stat*, StatCmp > CVC4::StatisticsBase::StatSet
protected

A type for a set of statistics.

Definition at line 46 of file statistics.h.

Constructor & Destructor Documentation

CVC4::StatisticsBase::StatisticsBase ( )
protected
CVC4::StatisticsBase::StatisticsBase ( const StatisticsBase stats)
protected
virtual CVC4::StatisticsBase::~StatisticsBase ( )
inlinevirtual

Definition at line 59 of file statistics.h.

Member Function Documentation

const_iterator CVC4::StatisticsBase::begin ( ) const

Get an iterator to the beginning of the range of the set of statistics.

const_iterator CVC4::StatisticsBase::end ( ) const

Get an iterator to the end of the range of the set of statistics.

void CVC4::StatisticsBase::flushInformation ( std::ostream &  out) const

Flush all statistics to the given output stream.

SExpr CVC4::StatisticsBase::getStatistic ( std::string  name) const

Get the value of a named statistic.

StatisticsBase& CVC4::StatisticsBase::operator= ( const StatisticsBase stats)
protected
virtual void CVC4::StatisticsBase::setPrefix ( const std::string &  prefix)
virtual

Set the output prefix for this set of statistics.

Field Documentation

std::string CVC4::StatisticsBase::d_prefix
protected

Definition at line 48 of file statistics.h.

StatSet CVC4::StatisticsBase::d_stats
protected

The set of statistics in this object.

Definition at line 51 of file statistics.h.

std::string CVC4::StatisticsBase::s_regDelim
staticprotected

Definition at line 38 of file statistics.h.


The documentation for this class was generated from the following file: