Rose::BinaryAnalysis::ModelChecker::Exception Class Reference

Description

Base class for model checker exceptions.

Definition at line 15 of file Rose/BinaryAnalysis/ModelChecker/Exception.h.

#include <Rose/BinaryAnalysis/ModelChecker/Exception.h>

Inheritance diagram for Rose::BinaryAnalysis::ModelChecker::Exception:

Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::Exception:

Public Member Functions
	Exception (const std::string &s)
	Construct an exception with an error message. More...
Public Member Functions inherited from Rose::Exception
	Exception (const std::string &s)
	Construct an exception with an error message. More...

Constructor & Destructor Documentation

Rose::BinaryAnalysis::ModelChecker::Exception::Exception ( const std::string &  s )

inlineexplicit

Construct an exception with an error message.

Definition at line 18 of file Rose/BinaryAnalysis/ModelChecker/Exception.h.

---

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

• Rose/BinaryAnalysis/ModelChecker/Exception.h