4 #include "../ModuleInternal.h" 31 void add_relation(std::string
name, std::string interface);
type
Enumeration type for four-valued logic.
Definition: Types.h:45
VariableSpace class for handling all values in interpreter environment.
Definition: VariableSpace.h:13
class that implements a fact
Definition: Fact.h:14
void reason()
performs reasoning
Definition: Math.cc:187
Definition: Application.cc:37
Result ask_for_result(Fact *term) const
provides valuations matching given Fact
Definition: Math.cc:192
std::string name
name of external module
Definition: ModuleInternal.h:51
class that handles hardcoded relations in modules (f.e. math functions)
Definition: ModuleInternal.h:20
Math(VariableSpace *_v)
constructor for Math module
Definition: Math.cc:17
static Inter4ql::logic_type::type runPlugin(std::string relation, std::vector< Value *> *bindedValues)
Function executing math function.
Definition: Math.cc:69
Math module used to implement basic math operations.
Definition: Math.h:12