Exception used to sign API usage errors. More...
Exception used to sign API usage errors.
Definition at line 83 of file z3++.h.
Definition at line 86 of file z3++.h.
Definition at line 87 of file z3++.h.
Referenced by z3::operator<<().
Definition at line 90 of file z3++.h.