#include <debug.h>
Definition at line 120 of file debug.h.
CVC3::DebugFlag::operator bool | ( | ) | [inline] |
bool CVC3::DebugFlag::operator-- | ( | ) | [inline] |
bool CVC3::DebugFlag::operator++ | ( | ) | [inline] |
bool CVC3::DebugFlag::operator-- | ( | int | ) | [inline] |
bool CVC3::DebugFlag::operator++ | ( | int | ) | [inline] |
DebugFlag& CVC3::DebugFlag::operator= | ( | bool | x | ) | [inline] |
std::ostream& operator<< | ( | std::ostream & | os, | |
const DebugFlag & | f | |||
) | [friend] |
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==().