Scripts

Interfaces to run scripts. More...

Classes
class	CppClingo::Ground::ScriptExec
	Interface to execute code in source files. More...
class	CppClingo::Ground::ScriptCallback
	Interface to call functions during parsing/grounding. More...

Detailed Description

Interfaces to run scripts.