Exception used to sign API usage errors. More...
#include <z3++.h>
Public Member Functions | |
virtual | ~exception () throw () =default |
exception (char const *msg) | |
char const * | msg () const |
char const * | what () const throw () |
Friends | |
std::ostream & | operator<< (std::ostream &out, exception const &e) |
|
virtualdefault |
|
inline |