Function z3_sys::Z3_fixedpoint_add_constraint [−][src]
pub unsafe extern "C" fn Z3_fixedpoint_add_constraint(
c: Z3_context,
d: Z3_fixedpoint,
e: Z3_ast,
lvl: c_uint
)
pub unsafe extern "C" fn Z3_fixedpoint_add_constraint(
c: Z3_context,
d: Z3_fixedpoint,
e: Z3_ast,
lvl: c_uint
)