Definition at line 2686 of file z3++.h.
Definition at line 2689 of file z3++.h.
Definition at line 2690 of file z3++.h.
Referenced by optimize::lower(), and optimize::upper().