Exception used to sign API usage errors. More...
Public Member Functions | |
exception (char const *msg) | |
char const * | msg () const |
Friends | |
std::ostream & | operator<< (std::ostream &out, exception const &e) |
|
inline |
Definition at line 83 of file z3++.h.
Referenced by context::check_error(), model::eval(), expr::get_numeral_int(), expr::get_numeral_int64(), expr::get_numeral_uint(), and expr::get_numeral_uint64().
|
inline |
|
friend |
Definition at line 87 of file z3++.h.
Referenced by goal::as_expr(), apply_result::convert_model(), stats::double_value(), model::has_interp(), ast::hash(), exception::msg(), solver::proof(), params::set(), optimize::statistics(), and symbol::to_int().