Public Member Functions | Private Types | Private Attributes | Friends

CVC3::Statistics Class Reference

#include <statistics.h>

Collaboration diagram for CVC3::Statistics:
Collaboration graph

List of all members.

Public Member Functions

Private Types

Private Attributes


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.

Definition at line 152 of file statistics.h.

Referenced by flag().

Definition at line 153 of file statistics.h.

Referenced by counter().

The documentation for this class was generated from the following files: