Function z3_sys::Z3_fixedpoint_register_relation [−][src]
pub unsafe extern "C" fn Z3_fixedpoint_register_relation(
c: Z3_context,
d: Z3_fixedpoint,
f: Z3_func_decl
)
Expand description
Register relation as Fixedpoint defined. Fixedpoint defined relations have least-fixedpoint semantics. For example, the relation is empty if it does not occur in a head or a fact.