Function Z3_fixedpoint_set_params

pub unsafe extern "C" fn Z3_fixedpoint_set_params(
    c: Z3_context,
    f: Z3_fixedpoint,
    p: Z3_params,
)

Set parameters on fixedpoint context.

See also:

• Z3_fixedpoint_get_help
• Z3_fixedpoint_get_param_descrs