optimize_set_params method

void optimize_set_params(Z3_context c, Z3_optimize o, Z3_params p)

\brief Set parameters on optimization context.

\param c - context \param o - optimization context \param p - parameters

\sa Z3_optimize_get_help \sa Z3_optimize_get_param_descrs

def_API('Z3_optimize_set_params', VOID, (_in(CONTEXT), _in(OPTIMIZE), _in(PARAMS)))

Implementation

void optimize_set_params(
  Z3_context c,
  Z3_optimize o,
  Z3_params p,
) {
  return _optimize_set_params(
    c,
    o,
    p,
  );
}