CVC3  2.4.1
Public Member Functions | Private Types | Private Attributes | Friends
CVC3::Statistics Class Reference

#include <statistics.h>

List of all members.

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: