Exception used to sign API usage errors.
More...
Detailed Description
Exception used to sign API usage errors.
Definition at line 80 of file z3++.h.
Constructor & Destructor Documentation
Member Function Documentation
char const* msg |
( |
| ) |
const [inline] |
Definition at line 84 of file z3++.h.
{ return m_msg.c_str(); }
Friends And Related Function Documentation
std::ostream& operator<< |
( |
std::ostream & |
out, |
|
|
exception const & |
e |
|
) |
| [friend] |
Definition at line 85 of file z3++.h.
{ out << e.msg(); return out; }