Exception used to sign API usage errors.
More...
#include <z3++.h>
Exception used to sign API usage errors.
Definition at line 85 of file z3++.h.
◆ ~exception()
◆ exception()
◆ msg()
char const * msg |
( |
| ) |
const |
|
inline |
Definition at line 90 of file z3++.h.
90{ return m_msg.c_str(); }
◆ what()
char const * what |
( |
| ) |
const |
throw | ( | |
| ) | | |
|
inline |
Definition at line 91 of file z3++.h.
91{ return m_msg.c_str(); }
◆ operator<<
std::ostream & operator<< |
( |
std::ostream & |
out, |
|
|
exception const & |
e |
|
) |
| |
|
friend |
Definition at line 94 of file z3++.h.
94{ out << e.msg(); return out; }