debug.cpp File Reference

Description: Implementation of debugging facilities. More...

#include <fstream>
#include <stdlib.h>
#include "debug.h"

Include dependency graph for debug.cpp:

Go to the source code of this file.

Namespaces

• namespace CVC3

Functions

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

  Function for fatal exit.
  

---

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.