fixedpoint_set_reduce_app_callback method

void fixedpoint_set_reduce_app_callback(
  1. Z3_context c,
  2. Z3_fixedpoint d,
  3. Pointer<Z3_fixedpoint_reduce_app_callback_fptr> cb
)

\brief Register a callback for building terms based on the relational operators.

Implementation

void fixedpoint_set_reduce_app_callback(
  Z3_context c,
  Z3_fixedpoint d,
  ffi.Pointer<Z3_fixedpoint_reduce_app_callback_fptr> cb,
) {
  return _fixedpoint_set_reduce_app_callback(
    c,
    d,
    cb,
  );
}