optimize_get_help method

Z3_string optimize_get_help(Z3_context c, Z3_optimize t)

\brief Return a string containing a description of parameters accepted by optimize.

\sa Z3_optimize_get_param_descrs \sa Z3_optimize_set_params

def_API('Z3_optimize_get_help', STRING, (_in(CONTEXT), _in(OPTIMIZE)))

Implementation

Z3_string optimize_get_help(
  Z3_context c,
  Z3_optimize t,
) {
  return _optimize_get_help(
    c,
    t,
  );
}