CVC3
|
#include <statistics.h>
Public Member Functions | |
StatFlag (bool &flag) | |
~StatFlag () | |
operator bool () | |
bool | operator-- () |
bool | operator++ () |
bool | operator-- (int) |
bool | operator++ (int) |
StatFlag & | operator= (bool x) |
Private Attributes | |
bool * | d_flag |
Friends | |
bool | operator== (const StatFlag &f1, const StatFlag &f2) |
bool | operator!= (const StatFlag &f1, const StatFlag &f2) |
std::ostream & | operator<< (std::ostream &os, const StatFlag &f) |
Definition at line 38 of file statistics.h.
|
inline |
Definition at line 44 of file statistics.h.
|
inline |
Definition at line 46 of file statistics.h.
|
inline |
Definition at line 48 of file statistics.h.
References d_flag.
|
inline |
Definition at line 52 of file statistics.h.
References d_flag.
|
inline |
Definition at line 53 of file statistics.h.
References d_flag.
|
inline |
Definition at line 55 of file statistics.h.
References d_flag.
|
inline |
Definition at line 56 of file statistics.h.
References d_flag.
|
inline |
Definition at line 58 of file statistics.h.
References d_flag.
Definition at line 66 of file statistics.h.
Definition at line 69 of file statistics.h.
|
friend |
Definition at line 72 of file statistics.h.
|
private |
Definition at line 40 of file statistics.h.
Referenced by operator bool(), CVC3::operator!=(), operator++(), operator--(), CVC3::operator<<(), operator=(), and CVC3::operator==().