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