#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] |
Definition at line 163 of file statistics.h.
References d_counters.
Referenced by CVC3::SearchImplBase::addToCNFCache(), CVC3::SearchImplBase::findInCNFCache(), CVC3::TheoryCore::getResource(), and CVC3::SearchEngineFast::split().
| 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:
