CVC3::StatCounter Class Reference

#include <statistics.h>

Collaboration diagram for CVC3::StatCounter:

Public Member Functions
	StatCounter (int &c)
	~StatCounter ()
	operator int ()
int	operator-- ()
int	operator++ ()
int	operator-- (int)
int	operator++ (int)
StatCounter &	operator= (int x)
StatCounter &	operator+= (int x)
StatCounter &	operator-= (int x)
StatCounter &	operator= (const StatCounter &x)
StatCounter &	operator-= (const StatCounter &x)
StatCounter &	operator+= (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

Definition at line 82 of file statistics.h.

Referenced by operator int(), CVC3::operator!=(), operator++(), operator+=(), operator--(), operator-=(), CVC3::operator<<(), operator=(), and CVC3::operator==().

---

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

• statistics.h