global_param_set method

void global_param_set(Z3_string param_id, Z3_string param_value)

@{*/ /** \brief Set a global (or module) parameter. This setting is shared by all Z3 contexts.

When a Z3 module is initialized it will use the value of these parameters when Z3_params objects are not provided.

The name of parameter can be composed of characters A-Z, digits 0-9, '-' and '_'. The character '.' is a delimiter (more later).

The parameter names are case-insensitive. The character '-' should be viewed as an "alias" for '_'. Thus, the following parameter names are considered equivalent: "pp.decimal-precision" and "PP.DECIMAL_PRECISION".

This function can be used to set parameters for a specific Z3 module. This can be done by using

\sa Z3_global_param_get \sa Z3_global_param_reset_all

def_API('Z3_global_param_set', VOID, (_in(STRING), _in(STRING)))

Implementation

void global_param_set(
  Z3_string param_id,
  Z3_string param_value,
) {
  return _global_param_set(
    param_id,
    param_value,
  );
}