cprover
|
#include <bv_conversion_exceptions.h>
Public Member Functions | |
bitvector_conversion_exceptiont (const std::string &exception_message, const exprt &bv_expr) | |
Private Attributes | |
exprt | bv_expr |
Definition at line 20 of file bv_conversion_exceptions.h.
|
inline |
Definition at line 23 of file bv_conversion_exceptions.h.
|
private |
Definition at line 31 of file bv_conversion_exceptions.h.