params_set_double method

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

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

def_API('Z3_params_set_double', VOID, (_in(CONTEXT), _in(PARAMS), _in(SYMBOL), _in(DOUBLE)))

Implementation

void params_set_double(
  Z3_context c,
  Z3_params p,
  Z3_symbol k,
  double v,
) {
  return _params_set_double(
    c,
    p,
    k,
    v,
  );
}