CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
theory_bitvector
bitvector_exception.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
* \file bitvector_exception.h
4
* \brief An exception thrown by the bitvector decision procedure.
5
*
6
* Author: Vijay Ganesh
7
*
8
* Created: Wed May 5 16:23:45 PST 2004
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__theory_bitvector__bitvector_exception_h_
23
#define _cvc3__theory_bitvector__bitvector_exception_h_
24
25
#include <string>
26
#include <iostream>
27
#include "
exception.h
"
28
29
namespace
CVC3 {
30
31
class
BitvectorException
:
public
Exception
{
32
// protected:
33
// std::string d_msg;
34
public
:
35
// Constructors
36
BitvectorException
() { }
37
BitvectorException
(
const
std::string& msg):
Exception
(msg) { }
38
BitvectorException
(
char
* msg):
Exception
(msg) { }
39
// Destructor
40
virtual
~BitvectorException
() { }
41
virtual
std::string
toString
()
const
{
42
return
"Bitvector error: "
+
d_msg
;
43
}
44
};
// end of class BitvectorException
45
}
// end of namespace CVC3
46
47
#endif
Generated on Fri Aug 9 2013 10:34:39 for CVC3 by
1.8.4