CVC3  2.4.1
Public Member Functions | Private Types | Private Attributes | Friends | List of all members
CVC3::Statistics Class Reference

#include <statistics.h>

Public Member Functions

 Statistics ()
 
 ~Statistics ()
 
StatFlag flag (const std::string &name)
 
StatCounter counter (const std::string &name)
 
std::ostream & printAll (std::ostream &os) const
 

Private Types

typedef std::map< std::string,
bool > 
StatFlagMap
 
typedef std::map< std::string,
int > 
StatCounterMap
 

Private Attributes

std::ostream * d_os
 
StatFlagMap d_flags
 
StatCounterMap d_counters
 

Friends

std::ostream & operator<< (std::ostream &os, const Statistics &stats)
 

Detailed Description

Definition at line 146 of file statistics.h.

Member Typedef Documentation

typedef std::map<std::string, bool> CVC3::Statistics::StatFlagMap
private

Definition at line 150 of file statistics.h.

typedef std::map<std::string, int> CVC3::Statistics::StatCounterMap
private

Definition at line 151 of file statistics.h.

Constructor & Destructor Documentation

CVC3::Statistics::Statistics ( )
inline

Definition at line 156 of file statistics.h.

CVC3::Statistics::~Statistics ( )
inline

Definition at line 158 of file statistics.h.

Member Function Documentation

StatFlag CVC3::Statistics::flag ( const std::string &  name)
inline

Definition at line 161 of file statistics.h.

References d_flags.

StatCounter CVC3::Statistics::counter ( const std::string &  name)
inline
ostream & CVC3::Statistics::printAll ( std::ostream &  os) const

Definition at line 32 of file statistics.cpp.

References std::endl().

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  os,
const Statistics stats 
)
friend

Definition at line 168 of file statistics.h.

Member Data Documentation

std::ostream* CVC3::Statistics::d_os
private

Definition at line 149 of file statistics.h.

StatFlagMap CVC3::Statistics::d_flags
private

Definition at line 152 of file statistics.h.

Referenced by flag().

StatCounterMap CVC3::Statistics::d_counters
private

Definition at line 153 of file statistics.h.

Referenced by counter().


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