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.
References error_message, format(), symex_target_equationt::SSA_stept::output(), symex_target_equationt::SSA_stept::source, and step.
|
inlineoverride |
Definition at line 37 of file equation_conversion_exceptions.h.
References error_message.
|
private |
Definition at line 44 of file equation_conversion_exceptions.h.
Referenced by equation_conversion_exceptiont(), and what().
|
private |
Definition at line 43 of file equation_conversion_exceptions.h.
Referenced by equation_conversion_exceptiont().