CVC3  2.4.1
Public Member Functions | Private Types | Private Attributes | Friends
CVC3::Statistics Class Reference

#include <statistics.h>

List of all members.

Public Member Functions

Private Types

Private Attributes

Friends


Member Typedef Documentation

Definition at line 150 of file statistics.h.

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

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: