cprover
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: