Clingo::GroundEventHandler Class Reference

An interface for handling grounding events. More...

#include <ground.hh>

Public Member Functions
	GroundEventHandler ()=default
	Default constructor.
virtual	~GroundEventHandler ()=default
	Default destructor.
auto	callable (std::string_view name, size_t args) -> bool
	Check whether a function is callable for the given number of arguments.
auto	call (Location const &loc, std::string_view name, SymbolSpan args) -> SymbolVector
	Call the given function with the given arguments.
void	finish (GroundResult result) noexcept
	Notify the handler that grounding has finished with the given result.

Detailed Description

An interface for handling grounding events.

Member Function Documentation

call()

auto Clingo::GroundEventHandler::call ( Location const &  loc, std::string_view  name, SymbolSpan  args  ) -> SymbolVector

inline

Call the given function with the given arguments.

Parameters

loc	the location of the function call
name	the name of the function
args	the arguments of the function

Returns

the symbols to inject

callable()

auto Clingo::GroundEventHandler::callable ( std::string_view  name, size_t  args  ) -> bool

inline

Check whether a function is callable for the given number of arguments.

Parameters

name	the name of the function
args	the number of arguments

---

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

• clingo/ground.hh