Definition at line 3086 of file z3++.h.
Definition at line 3089 of file z3++.h.
Definition at line 3090 of file z3++.h.
Referenced by optimize::lower(), and optimize::upper().