fixedpoint_add_callback method

void fixedpoint_add_callback(
  1. Z3_context ctx,
  2. Z3_fixedpoint f,
  3. Pointer<Void> state,
  4. Z3_fixedpoint_new_lemma_eh new_lemma_eh,
  5. Z3_fixedpoint_predecessor_eh predecessor_eh,
  6. Z3_fixedpoint_unfold_eh unfold_eh,
)

\brief set export callback for lemmas

Implementation

void fixedpoint_add_callback(
  Z3_context ctx,
  Z3_fixedpoint f,
  ffi.Pointer<ffi.Void> state,
  Z3_fixedpoint_new_lemma_eh new_lemma_eh,
  Z3_fixedpoint_predecessor_eh predecessor_eh,
  Z3_fixedpoint_unfold_eh unfold_eh,
) {
  return _fixedpoint_add_callback(
    ctx,
    f,
    state,
    new_lemma_eh,
    predecessor_eh,
    unfold_eh,
  );
}