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(), context::check_parser_error(), model::eval(), expr::get_numeral_int(), expr::get_numeral_int64(), expr::get_numeral_uint(), expr::get_numeral_uint64(), and z3::par_or().
|
inline |
|
friend |
Definition at line 87 of file z3++.h.
Referenced by model::add_const_interp(), goal::as_expr(), apply_result::as_expr(), stats::double_value(), ast::hash(), exception::msg(), solver::proof(), params::set(), optimize::statistics(), and symbol::to_int().