CppClingo::Ground::ScriptCallback Class Reference

Interface to call functions during parsing/grounding. More...

#include <script.hh>

Inheritance diagram for CppClingo::Ground::ScriptCallback:

Public Member Functions
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

Interface to call functions during parsing/grounding.

This interface is used by external functions.

---

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

• clingo/ground/script.hh