equation_conversion_exceptiont Class Reference

#include <equation_conversion_exceptions.h>

Inheritance diagram for equation_conversion_exceptiont:

Collaboration diagram for equation_conversion_exceptiont:

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

Detailed Description

Definition at line 21 of file equation_conversion_exceptions.h.

Constructor & Destructor Documentation

equation_conversion_exceptiont()

equation_conversion_exceptiont::equation_conversion_exceptiont ( const std::string &  message, const symex_target_equationt::SSA_stept &  step  )

inline

Definition at line 24 of file equation_conversion_exceptions.h.

Member Function Documentation

what()

const char* equation_conversion_exceptiont::what ( ) const

inlineoverride

Definition at line 37 of file equation_conversion_exceptions.h.

Member Data Documentation

error_message

std::string equation_conversion_exceptiont::error_message

private

Definition at line 44 of file equation_conversion_exceptions.h.

step

symex_target_equationt::SSA_stept equation_conversion_exceptiont::step

private

Definition at line 43 of file equation_conversion_exceptions.h.

---

The documentation for this class was generated from the following file:

• goto-symex/equation_conversion_exceptions.h