Type Definition clingo_sys::clingo_solve_event_callback_t

type clingo_solve_event_callback_t = Option<unsafe extern "C" fn(type_: clingo_solve_event_type_t, event: *mut c_void, data: *mut c_void, goon: *mut bool) -> bool>;

! Callback function called during search to notify when the search is finished or a model is ready. ! ! If a (non-recoverable) clingo API function fails in this callback, it must return false. ! In case of errors not related to clingo, set error code ::clingo_error_unknown and return false to stop solving with an error. ! ! The event is either a pointer to a model, a pointer to two statistics objects (per step and accumulated statistics), or a solve result. ! @attention If the search is finished, the model is NULL. ! ! @param[in] event the current event. ! @param[in] data user data of the callback ! @param[out] goon can be set to false to stop solving ! @return whether the call was successful ! ! @see clingo_control_solve()