This callback interface provides grounding events. More...

#include <solver.hh>

Inheritance diagram for CppClingo::Control::GroundEventHandler:

Public Member Functions
void	finish (GroundResult result) noexcept
	Callback to inform that the grounding has finished.

Public Member Functions inherited from CppClingo::Ground::ScriptCallback
virtual	~ScriptCallback ()=default
	Virtual destructor.

auto	callable (std::string_view name, size_t args) -> bool
	Check if the function with the given name and number of arguments is callable.

void	call (Location const &loc, std::string_view name, SymbolSpan args, SymbolVec &out)
	Call the function with the given name and arguments.

Detailed Description

This callback interface provides grounding events.

It extends the script callback interface with n callback that is called when grounding has finished.

Member Function Documentation

void CppClingo::Control::GroundEventHandler::finish ( GroundResult result )

inlinenoexcept

Callback to inform that the grounding has finished.

Note that this function is not called from the main thread when solving asynchronously to allow for thread synchronization.

Parameters

result the result of the ground call

The documentation for this class was generated from the following file: