ROSE  0.11.51.0
Public Member Functions | List of all members
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 <Exception.h>

Inheritance diagram for Rose::BinaryAnalysis::ModelChecker::Exception:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::Exception:
Collaboration graph
[legend]

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: