inductive_step_disabled_exceptiont Class Reference

#include <goto_symex.h>

Public Member Functions
	inductive_step_disabled_exceptiont (std::string r)

Public Attributes
std::string	reason

Constructor & Destructor Documentation

inductive_step_disabled_exceptiont()

inductive_step_disabled_exceptiont::inductive_step_disabled_exceptiont ( std::string r )

inlineexplicit

Member Data Documentation

reason

std::string inductive_step_disabled_exceptiont::reason

---

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

• src/goto-symex/engine/goto_symex.h