Description
Exceptions for all things SMT related.
Definition at line 67 of file BinarySmtSolver.h.
#include <BinarySmtSolver.h>
Inheritance diagram for Rose::BinaryAnalysis::SmtSolver::Exception:
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::Exception:
Public Member Functions | |
| Exception (const std::string &mesg) | |
The documentation for this struct was generated from the following file:
