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