update_param_value method

void update_param_value(
  1. Z3_context c,
  2. Z3_string param_id,
  3. Z3_string param_value
)

\brief Set a value of a context parameter.

\sa Z3_global_param_set

def_API('Z3_update_param_value', VOID, (_in(CONTEXT), _in(STRING), _in(STRING)))

Implementation

void update_param_value(
  Z3_context c,
  Z3_string param_id,
  Z3_string param_value,
) {
  return _update_param_value(
    c,
    param_id,
    param_value,
  );
}