CppClingo::Control::Script Class Reference

Script providing code execution, main, and callbacks. More...

#include <solver.hh>

Inheritance diagram for CppClingo::Control::Script:

Public Member Functions
void	main (Solver &slv)
	Run the main function.
void	exec (std::string_view code)
	Execute the given code.
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

Script providing code execution, main, and callbacks.

This interface should be implemented by custom scripts.

---

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

• clingo/control/solver.hh