optimize_register_model_eh method

void optimize_register_model_eh(
  1. Z3_context c,
  2. Z3_optimize o,
  3. Z3_model m,
  4. Pointer<Void> ctx,
  5. Pointer<Z3_model_eh> model_eh,
)

\brief register a model event handler for new models.

Implementation

void optimize_register_model_eh(
  Z3_context c,
  Z3_optimize o,
  Z3_model m,
  ffi.Pointer<ffi.Void> ctx,
  ffi.Pointer<Z3_model_eh> model_eh,
) {
  return _optimize_register_model_eh(
    c,
    o,
    m,
    ctx,
    model_eh,
  );
}