CVC3
|
#include <statistics.h>
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) |
Definition at line 80 of file statistics.h.
|
inline |
Definition at line 86 of file statistics.h.
|
inline |
Definition at line 88 of file statistics.h.
|
inline |
Definition at line 92 of file statistics.h.
References d_counter.
|
inline |
Definition at line 96 of file statistics.h.
|
inline |
Definition at line 97 of file statistics.h.
|
inline |
Definition at line 99 of file statistics.h.
References d_counter.
|
inline |
Definition at line 100 of file statistics.h.
References d_counter.
|
inline |
Definition at line 102 of file statistics.h.
References d_counter.
|
inline |
Definition at line 103 of file statistics.h.
References d_counter.
|
inline |
Definition at line 104 of file statistics.h.
References d_counter.
|
inline |
Definition at line 105 of file statistics.h.
References d_counter.
|
inline |
Definition at line 107 of file statistics.h.
References d_counter.
|
inline |
Definition at line 109 of file statistics.h.
References d_counter.
|
friend |
Definition at line 122 of file statistics.h.
|
friend |
Definition at line 125 of file statistics.h.
|
friend |
Definition at line 128 of file statistics.h.
|
friend |
Definition at line 131 of file statistics.h.
|
friend |
Definition at line 134 of file statistics.h.
|
friend |
Definition at line 137 of file statistics.h.
|
friend |
Definition at line 140 of file statistics.h.
|
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==().