#include <statistics.h>
Private Attributes |
bool * | d_flag |
Detailed Description
Definition at line 38 of file statistics.h.
Constructor & Destructor Documentation
CVC3::StatFlag::StatFlag |
( |
bool & |
flag | ) |
|
|
inline |
CVC3::StatFlag::~StatFlag |
( |
| ) |
|
|
inline |
Member Function Documentation
CVC3::StatFlag::operator bool |
( |
| ) |
|
|
inline |
bool CVC3::StatFlag::operator-- |
( |
| ) |
|
|
inline |
bool CVC3::StatFlag::operator++ |
( |
| ) |
|
|
inline |
bool CVC3::StatFlag::operator-- |
( |
int |
| ) |
|
|
inline |
bool CVC3::StatFlag::operator++ |
( |
int |
| ) |
|
|
inline |
StatFlag& CVC3::StatFlag::operator= |
( |
bool |
x | ) |
|
|
inline |
Friends And Related Function Documentation
std::ostream& operator<< |
( |
std::ostream & |
os, |
|
|
const StatFlag & |
f |
|
) |
| |
|
friend |
Member Data Documentation
bool* CVC3::StatFlag::d_flag |
|
private |
The documentation for this class was generated from the following file: