cprover
bv_conversion_exceptions.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Bit vector conversion
4
5
Author: Diffblue Ltd.
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_SOLVERS_FLATTENING_BV_CONVERSION_EXCEPTIONS_H
13
#define CPROVER_SOLVERS_FLATTENING_BV_CONVERSION_EXCEPTIONS_H
14
15
#include <stdexcept>
16
#include <string>
17
18
#include <
util/expr.h
>
19
20
class
bitvector_conversion_exceptiont
:
public
std::runtime_error
21
{
22
public
:
23
bitvector_conversion_exceptiont
(
24
const
std::string &exception_message,
25
const
exprt
&
bv_expr
)
26
: runtime_error(exception_message),
bv_expr
(
bv_expr
)
27
{
28
}
29
30
private
:
31
exprt
bv_expr
;
32
};
33
34
#endif // CPROVER_SOLVERS_FLATTENING_BV_CONVERSION_EXCEPTIONS_H
bitvector_conversion_exceptiont::bitvector_conversion_exceptiont
bitvector_conversion_exceptiont(const std::string &exception_message, const exprt &bv_expr)
Definition:
bv_conversion_exceptions.h:23
bitvector_conversion_exceptiont::bv_expr
exprt bv_expr
Definition:
bv_conversion_exceptions.h:31
bitvector_conversion_exceptiont
Definition:
bv_conversion_exceptions.h:20
exprt
Base class for all expressions.
Definition:
expr.h:54
expr.h
solvers
flattening
bv_conversion_exceptions.h
Generated by
1.8.14