CVC3
Public Member Functions | Private Attributes | Friends | List of all members
CVC3::StatCounter Class Reference

#include <statistics.h>

Collaboration diagram for CVC3::StatCounter:
Collaboration graph

Public Member Functions

 StatCounter (int &c)
 
 ~StatCounter ()
 
 operator int ()
 
int operator-- ()
 
int operator++ ()
 
int operator-- (int)
 
int operator++ (int)
 
StatCounteroperator= (int x)
 
StatCounteroperator+= (int x)
 
StatCounteroperator-= (int x)
 
StatCounteroperator= (const StatCounter &x)
 
StatCounteroperator-= (const StatCounter &x)
 
StatCounteroperator+= (const StatCounter &x)
 

Private Attributes

int * d_counter
 

Friends

bool operator== (const StatCounter &c1, const StatCounter &c2)
 
bool operator!= (const StatCounter &c1, const StatCounter &c2)
 
bool operator== (int c1, const StatCounter &c2)
 
bool operator!= (int c1, const StatCounter &c2)
 
bool operator== (const StatCounter &c1, int c2)
 
bool operator!= (const StatCounter &c1, int c2)
 
std::ostream & operator<< (std::ostream &os, const StatCounter &f)
 

Detailed Description

Definition at line 80 of file statistics.h.

Constructor & Destructor Documentation

CVC3::StatCounter::StatCounter ( int &  c)
inline

Definition at line 86 of file statistics.h.

CVC3::StatCounter::~StatCounter ( )
inline

Definition at line 88 of file statistics.h.

Member Function Documentation

CVC3::StatCounter::operator int ( )
inline

Definition at line 92 of file statistics.h.

References d_counter.

int CVC3::StatCounter::operator-- ( )
inline

Definition at line 96 of file statistics.h.

int CVC3::StatCounter::operator++ ( )
inline

Definition at line 97 of file statistics.h.

int CVC3::StatCounter::operator-- ( int  )
inline

Definition at line 99 of file statistics.h.

References d_counter.

int CVC3::StatCounter::operator++ ( int  )
inline

Definition at line 100 of file statistics.h.

References d_counter.

StatCounter& CVC3::StatCounter::operator= ( int  x)
inline

Definition at line 102 of file statistics.h.

References d_counter.

StatCounter& CVC3::StatCounter::operator+= ( int  x)
inline

Definition at line 103 of file statistics.h.

References d_counter.

StatCounter& CVC3::StatCounter::operator-= ( int  x)
inline

Definition at line 104 of file statistics.h.

References d_counter.

StatCounter& CVC3::StatCounter::operator= ( const StatCounter x)
inline

Definition at line 105 of file statistics.h.

References d_counter.

StatCounter& CVC3::StatCounter::operator-= ( const StatCounter x)
inline

Definition at line 107 of file statistics.h.

References d_counter.

StatCounter& CVC3::StatCounter::operator+= ( const StatCounter x)
inline

Definition at line 109 of file statistics.h.

References d_counter.

Friends And Related Function Documentation

bool operator== ( const StatCounter c1,
const StatCounter c2 
)
friend

Definition at line 122 of file statistics.h.

bool operator!= ( const StatCounter c1,
const StatCounter c2 
)
friend

Definition at line 125 of file statistics.h.

bool operator== ( int  c1,
const StatCounter c2 
)
friend

Definition at line 128 of file statistics.h.

bool operator!= ( int  c1,
const StatCounter c2 
)
friend

Definition at line 131 of file statistics.h.

bool operator== ( const StatCounter c1,
int  c2 
)
friend

Definition at line 134 of file statistics.h.

bool operator!= ( const StatCounter c1,
int  c2 
)
friend

Definition at line 137 of file statistics.h.

std::ostream& operator<< ( std::ostream &  os,
const StatCounter f 
)
friend

Definition at line 140 of file statistics.h.

Member Data Documentation

int* CVC3::StatCounter::d_counter
private

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