optimize_get_param_descrs method

Z3_param_descrs optimize_get_param_descrs(Z3_context c, Z3_optimize o)

\brief Return the parameter description set for the given optimize object.

\param c - context \param o - optimization context

\sa Z3_optimize_get_help \sa Z3_optimize_set_params

def_API('Z3_optimize_get_param_descrs', PARAM_DESCRS, (_in(CONTEXT), _in(OPTIMIZE)))

Implementation

Z3_param_descrs optimize_get_param_descrs(
  Z3_context c,
  Z3_optimize o,
) {
  return _optimize_get_param_descrs(
    c,
    o,
  );
}