params_set_uint method

void params_set_uint(
  1. Z3_context c,
  2. Z3_params p,
  3. Z3_symbol k,
  4. int v,
)

\brief Add a unsigned parameter \c k with value \c v to the parameter set \c p.

def_API('Z3_params_set_uint', VOID, (_in(CONTEXT), _in(PARAMS), _in(SYMBOL), _in(UINT)))

Implementation

void params_set_uint(
  Z3_context c,
  Z3_params p,
  Z3_symbol k,
  int v,
) {
  return _params_set_uint(
    c,
    p,
    k,
    v,
  );
}