params_validate method

void params_validate(Z3_context c, Z3_params p, Z3_param_descrs d)

\brief Validate the parameter set \c p against the parameter description set \c d.

The procedure invokes the error handler if \c p is invalid.

def_API('Z3_params_validate', VOID, (_in(CONTEXT), _in(PARAMS), _in(PARAM_DESCRS)))

Implementation

void params_validate(
  Z3_context c,
  Z3_params p,
  Z3_param_descrs d,
) {
  return _params_validate(
    c,
    p,
    d,
  );
}