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

#include <statistics.h>

Public Member Functions

 StatFlag (bool &flag)
 
 ~StatFlag ()
 
 operator bool ()
 
bool operator-- ()
 
bool operator++ ()
 
bool operator-- (int)
 
bool operator++ (int)
 
StatFlagoperator= (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)
 

Detailed Description

Definition at line 38 of file statistics.h.

Constructor & Destructor Documentation

CVC3::StatFlag::StatFlag ( bool &  flag)
inline

Definition at line 44 of file statistics.h.

CVC3::StatFlag::~StatFlag ( )
inline

Definition at line 46 of file statistics.h.

Member Function Documentation

CVC3::StatFlag::operator bool ( )
inline

Definition at line 48 of file statistics.h.

References d_flag.

bool CVC3::StatFlag::operator-- ( )
inline

Definition at line 52 of file statistics.h.

References d_flag.

bool CVC3::StatFlag::operator++ ( )
inline

Definition at line 53 of file statistics.h.

References d_flag.

bool CVC3::StatFlag::operator-- ( int  )
inline

Definition at line 55 of file statistics.h.

References d_flag.

bool CVC3::StatFlag::operator++ ( int  )
inline

Definition at line 56 of file statistics.h.

References d_flag.

StatFlag& CVC3::StatFlag::operator= ( bool  x)
inline

Definition at line 58 of file statistics.h.

References d_flag.

Friends And Related Function Documentation

bool operator== ( const StatFlag f1,
const StatFlag f2 
)
friend

Definition at line 66 of file statistics.h.

bool operator!= ( const StatFlag f1,
const StatFlag f2 
)
friend

Definition at line 69 of file statistics.h.

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

Definition at line 72 of file statistics.h.

Member Data Documentation

bool* CVC3::StatFlag::d_flag
private

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