Exception used to sign API usage errors. More...
Exception used to sign API usage errors.
Definition at line 80 of file z3++.h.
Definition at line 83 of file z3++.h.
Referenced by context::check_error(), and model::eval().
Definition at line 84 of file z3++.h.
Definition at line 85 of file z3++.h.