Function z3_sys::Z3_fixedpoint_update_rule [−][src]
pub unsafe extern "C" fn Z3_fixedpoint_update_rule(
c: Z3_context,
d: Z3_fixedpoint,
a: Z3_ast,
name: Z3_symbol
)
Expand description
Update a named rule. A rule with the same name must have been previously created.