CVC3::Statistics Class Reference

#include <statistics.h>

Collaboration diagram for CVC3::Statistics:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Types

Private Attributes

Friends


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 d_counters, d_flags, and 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(), and printAll().

StatCounterMap CVC3::Statistics::d_counters [private]

Definition at line 153 of file statistics.h.

Referenced by counter(), and printAll().


The documentation for this class was generated from the following files:
Generated on Wed Nov 18 16:15:59 2009 for CVC3 by  doxygen 1.5.2