CVC3
2.4.1
|
#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) |
Definition at line 146 of file statistics.h.
|
private |
Definition at line 150 of file statistics.h.
|
private |
Definition at line 151 of file statistics.h.
|
inline |
Definition at line 156 of file statistics.h.
|
inline |
Definition at line 158 of file statistics.h.
|
inline |
Definition at line 161 of file statistics.h.
|
inline |
Definition at line 163 of file statistics.h.
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().
|
friend |
Definition at line 168 of file statistics.h.
|
private |
Definition at line 149 of file statistics.h.
|
private |
Definition at line 152 of file statistics.h.
|
private |
Definition at line 153 of file statistics.h.