optimize_get_upper method

Z3_ast optimize_get_upper(
  1. Z3_context c,
  2. Z3_optimize o,
  3. int idx
)

\brief Retrieve upper bound value or approximation for the i'th optimization objective.

\param c - context \param o - optimization context \param idx - index of optimization objective

\sa Z3_optimize_get_lower \sa Z3_optimize_get_lower_as_vector \sa Z3_optimize_get_upper_as_vector

def_API('Z3_optimize_get_upper', AST, (_in(CONTEXT), _in(OPTIMIZE), _in(UINT)))

Implementation

Z3_ast optimize_get_upper(
  Z3_context c,
  Z3_optimize o,
  int idx,
) {
  return _optimize_get_upper(
    c,
    o,
    idx,
  );
}