debug.cpp File Reference

Description: Implementation of debugging facilities. More...

#include <fstream>
#include "debug.h"
#include <ctime>
#include <iomanip>

Include dependency graph for debug.cpp:

Go to the source code of this file.

Namespaces

• namespace CVC3

Classes

• class CVC3::DebugTime

Functions

• void CVC3::fatalError (const std::string &file, int line, const std::string &cond, const std::string &msg)

  Function for fatal exit.
  

• void CVC3::debugError (const std::string &file, int line, const std::string &cond, const std::string &msg)

  Similar to fatalError to raise an exception when DebugAssert fires.
  

• DebugTime CVC3::operator+ (const DebugTime &t1, const DebugTime &t2)
• DebugTime CVC3::operator- (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator== (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator!= (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator< (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator> (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator<= (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator>= (const DebugTime &t1, const DebugTime &t2)
• bool CVC3::operator== (const DebugTimer &t1, const DebugTimer &t2)
• bool CVC3::operator!= (const DebugTimer &t1, const DebugTimer &t2)
• bool CVC3::operator< (const DebugTimer &t1, const DebugTimer &t2)
• bool CVC3::operator> (const DebugTimer &t1, const DebugTimer &t2)
• bool CVC3::operator<= (const DebugTimer &t1, const DebugTimer &t2)
• bool CVC3::operator>= (const DebugTimer &t1, const DebugTimer &t2)
• ostream & CVC3::operator<< (ostream &os, const DebugTime &t)
• ostream & CVC3::operator<< (ostream &os, const DebugTimer &timer)

Variables

• Debug CVC3::debugger

---

Detailed Description

Description: Implementation of debugging facilities.

Author: Sergey Berezin

Created: Fri Jan 31 11:48:37 2003

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file debug.cpp.

---