CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
sound_exception.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
* \file sound_exception.h
4
* \brief An exception to be thrown when unsoundness is detected in a proof rule
5
*
6
* Author: Sergey Berezin
7
*
8
* Created: Fri Jun 6 10:48:38 2003
9
*
10
* <hr>
11
*
12
* License to use, copy, modify, sell and/or distribute this software
13
* and its documentation for any purpose is hereby granted without
14
* royalty, subject to the terms and conditions defined in the \ref
15
* LICENSE file provided with this distribution.
16
*
17
* <hr>
18
*
19
*/
20
/*****************************************************************************/
21
22
#ifndef _cvc3__sound_exception_h_
23
#define _cvc3__sound_exception_h_
24
25
#include <string>
26
#include <iostream>
27
#include "
exception.h
"
28
29
namespace
CVC3 {
30
31
class
SoundException
:
public
Exception
{
32
public
:
33
// Constructors
34
SoundException
() { }
35
SoundException
(
const
std::string& msg):
Exception
(msg) { }
36
SoundException
(
const
char
* msg):
Exception
(msg) { }
37
// Destructor
38
virtual
~SoundException
() { }
39
virtual
std::string
toString
()
const
{
40
return
"Soundness error: "
+
d_msg
;
41
}
42
};
// end of class SoundException
43
}
// end of namespace CVC3
44
45
#endif
Generated on Sat Aug 3 2013 07:58:31 for CVC3 by
1.8.4