Function z3_sys::Z3_fixedpoint_register_relation

pub unsafe extern "C" fn Z3_fixedpoint_register_relation(
    c: Z3_context,
    d: Z3_fixedpoint,
    f: Z3_func_decl
)

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.