Definition at line 2806 of file z3++.h.
Definition at line 2809 of file z3++.h.
Definition at line 2810 of file z3++.h.
Referenced by optimize::lower(), and optimize::upper().