CppClingo::Ground::ScriptExec Class Reference

Interface to execute code in source files. More...

#include <script.hh>

Inheritance diagram for CppClingo::Ground::ScriptExec:

Public Member Functions
virtual	~ScriptExec ()=default
	Virtual destructor.
void	exec (Location const &loc, Logger &log, std::string_view name, std::string_view code)
	Execute the given code for the given script.

Detailed Description

Interface to execute code in source files.

---

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

• clingo/ground/script.hh