ROSE  0.11.145.0
Public Member Functions | List of all members
Rose::BinaryAnalysis::SmtSolver::Exception Struct Reference

Description

Exceptions for all things SMT related.

Definition at line 73 of file SmtSolver.h.

#include <Rose/BinaryAnalysis/SmtSolver.h>

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

Public Member Functions

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

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