cprover
|
#include <equation_conversion_exceptions.h>
Public Member Functions | |
equation_conversion_exceptiont (const std::string &message, const symex_target_equationt::SSA_stept &step) | |
const char * | what () const optional_noexcept override |
Private Attributes | |
symex_target_equationt::SSA_stept | step |
std::string | error_message |
Definition at line 21 of file equation_conversion_exceptions.h.
|
inline |
Definition at line 24 of file equation_conversion_exceptions.h.
|
inlineoverride |
Definition at line 37 of file equation_conversion_exceptions.h.
|
private |
Definition at line 44 of file equation_conversion_exceptions.h.
|
private |
Definition at line 43 of file equation_conversion_exceptions.h.