CVCL::Statistics Class Reference

#include <statistics.h>

List of all members.

Public Member Functions

Private Types

Private Attributes


Detailed Description

Definition at line 154 of file statistics.h.

Member Typedef Documentation

typedef std::map<std::string, bool> CVCL::Statistics::StatFlagMap [private]

Definition at line 158 of file statistics.h.

typedef std::map<std::string, int> CVCL::Statistics::StatCounterMap [private]

Definition at line 159 of file statistics.h.

Constructor & Destructor Documentation

CVCL::Statistics::Statistics  )  [inline]

Definition at line 164 of file statistics.h.

CVCL::Statistics::~Statistics  )  [inline]

Definition at line 166 of file statistics.h.

Member Function Documentation

StatFlag CVCL::Statistics::flag const std::string &  name  )  [inline]

Definition at line 169 of file statistics.h.

References d_flags.

StatCounter CVCL::Statistics::counter const std::string &  name  )  [inline]

Definition at line 171 of file statistics.h.

References d_counters.

Referenced by CVCL::SearchImplBase::addToCNFCache(), CVCL::SearchImplBase::findInCNFCache(), and CVCL::SearchEngineFast::split().

std::ostream& CVCL::Statistics::printAll std::ostream &  os  )  const

Friends And Related Function Documentation

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

Definition at line 176 of file statistics.h.

Member Data Documentation

std::ostream* CVCL::Statistics::d_os [private]

Definition at line 157 of file statistics.h.

StatFlagMap CVCL::Statistics::d_flags [private]

Definition at line 160 of file statistics.h.

Referenced by flag().

StatCounterMap CVCL::Statistics::d_counters [private]

Definition at line 161 of file statistics.h.

Referenced by counter().

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:44 2006 for CVC Lite by  doxygen 1.4.4