Definition at line 1555 of file z3++.h.
Definition at line 1558 of file z3++.h.
Definition at line 1559 of file z3++.h.
Referenced by optimize::lower(), and optimize::upper().