Namespace ClingoSharp.CoreServices.EventHandlers

Delegates

SolveEventHandler

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.