4 #include "../ModuleExternal.h" 31 void add_relation(std::string name, std::string interface);
class that handles modules with support of external applications
Definition: ModuleExternal.h:20
void reason()
performs reasoning
Definition: Plugin.cc:85
type
Enumeration type for four-valued logic.
Definition: Types.h:45
VariableSpace class for handling all values in interpreter environment.
Definition: VariableSpace.h:13
Result ask_for_result(Fact *term) const
provides valuations matching given Fact
Definition: Plugin.cc:89
class that implements a fact
Definition: Fact.h:14
Plugin(VariableSpace *_v)
constructor for Plugin module
Definition: Plugin.cc:15
static Inter4ql::logic_type::type runPlugin(std::string name, std::string params)
Function executing external application.
Definition: Plugin.cc:63
Definition: Application.cc:37
std::string name
name of external module
Definition: ModuleExternal.h:48
Plugin module used to implement operations delievered by external applications.
Definition: Plugin.h:12