Function z3_sys::Z3_params_validate [−][src]
pub unsafe extern "C" fn Z3_params_validate(
c: Z3_context,
p: Z3_params,
d: Z3_param_descrs
)
Expand description
Validate the parameter set p
against the parameter description set d
.
The procedure invokes the error handler if p
is invalid.