fixedpoint_set_reduce_assign_callback method

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

\brief Register a callback to destructive updates.

Registers are identified with terms encoded as fresh constants,

Implementation

void fixedpoint_set_reduce_assign_callback(
  Z3_context c,
  Z3_fixedpoint d,
  ffi.Pointer<Z3_fixedpoint_reduce_assign_callback_fptr> cb,
) {
  return _fixedpoint_set_reduce_assign_callback(
    c,
    d,
    cb,
  );
}