fixedpoint_init method

void fixedpoint_init(
  1. Z3_context c,
  2. Z3_fixedpoint d,
  3. Pointer<Void> state
)

\brief Initialize the context with a user-defined state.

Implementation

void fixedpoint_init(
  Z3_context c,
  Z3_fixedpoint d,
  ffi.Pointer<ffi.Void> state,
) {
  return _fixedpoint_init(
    c,
    d,
    state,
  );
}