global_param_get method

bool global_param_get(
  1. Z3_string param_id,
  2. Z3_string_ptr param_value
)

\brief Get a global (or module) parameter.

Returns \c false if the parameter value does not exist.

\sa Z3_global_param_reset_all \sa Z3_global_param_set

\remark This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in shared location.

def_API('Z3_global_param_get', BOOL, (_in(STRING), _out(STRING)))

Implementation

bool global_param_get(
  Z3_string param_id,
  Z3_string_ptr param_value,
) {
  return _global_param_get(
    param_id,
    param_value,
  );
}