CVC3::DebugFlag Class Reference

Boolean flag (can only be true or false). More...

#include <debug.h>

List of all members.

Public Member Functions

Private Attributes

Friends


Detailed Description

Boolean flag (can only be true or false).

Definition at line 120 of file debug.h.


Constructor & Destructor Documentation

CVC3::DebugFlag::DebugFlag ( bool &  flag  )  [inline]

Definition at line 126 of file debug.h.

CVC3::DebugFlag::~DebugFlag (  )  [inline]

Definition at line 128 of file debug.h.


Member Function Documentation

CVC3::DebugFlag::operator bool (  )  [inline]

Definition at line 130 of file debug.h.

References d_flag.

bool CVC3::DebugFlag::operator-- (  )  [inline]

Definition at line 134 of file debug.h.

References d_flag.

bool CVC3::DebugFlag::operator++ (  )  [inline]

Definition at line 135 of file debug.h.

References d_flag.

bool CVC3::DebugFlag::operator-- ( int   )  [inline]

Definition at line 137 of file debug.h.

References d_flag.

bool CVC3::DebugFlag::operator++ ( int   )  [inline]

Definition at line 138 of file debug.h.

References d_flag.

DebugFlag& CVC3::DebugFlag::operator= ( bool  x  )  [inline]

Definition at line 140 of file debug.h.

References d_flag.


Friends And Related Function Documentation

bool operator== ( const DebugFlag f1,
const DebugFlag f2 
) [friend]

Checks if the *values* of the flags are equal.

Definition at line 149 of file debug.h.

bool operator!= ( const DebugFlag f1,
const DebugFlag f2 
) [friend]

Checks if the *values* of the flags are disequal.

Definition at line 153 of file debug.h.

std::ostream& operator<< ( std::ostream &  os,
const DebugFlag f 
) [friend]

Printing flags.

Definition at line 157 of file debug.h.


Member Data Documentation

bool* CVC3::DebugFlag::d_flag [private]

Definition at line 122 of file debug.h.

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


The documentation for this class was generated from the following file:
Generated on Tue Jul 3 14:36:05 2007 for CVC3 by  doxygen 1.5.1