Inter4ql
5.2
|
Math module used to implement basic math operations. More...
#include <Math.h>
Public Member Functions | |
Math (VariableSpace *_v) | |
constructor for Math module More... | |
void | reason () |
performs reasoning More... | |
Result | ask_for_result (Fact *term) const |
provides valuations matching given Fact More... | |
![]() | |
ModuleInternal (VariableSpace *_v) | |
constructor More... | |
~ModuleInternal () | |
destructor | |
Relation * | get_relation (std::string s) const |
getter for a relation More... | |
std::vector< Relation * > * | get_relations () const |
getter for module relations More... | |
virtual void | generate_facts () |
std::string | get_name () const |
getter for a name of module More... | |
std::string | print () |
function that returns string with module information More... | |
module_type::type | get_module_type () const |
getter for module type More... | |
VariableSpace * | get_variable_space () const |
getter for sql variable space pointer More... | |
![]() | |
ModuleGeneric () | |
default constructor | |
virtual | ~ModuleGeneric () |
default destructor | |
virtual void | reason_with_rules (std::vector< Rule *> *rules) |
performs reasing with additional Rules added More... | |
virtual Result | evaluate_expression (Expression *expr) const |
provides valuations matching given Expression More... | |
virtual Result | evaluate_expression_bf (Expression *expr) const |
provides bel-free valuations matching given Expression More... | |
virtual std::vector< std::string > | get_references (Fact *term) |
provides a list of Module references is term (useful when e.g. term is a shadowed Bel) More... | |
virtual void | set_modules (std::vector< ModuleGeneric *> *_modules) |
setter for modules needed in this module More... | |
virtual Constraints * | get_constraints () const |
getter for constraints More... | |
virtual std::vector< Domain * > * | get_domains () const |
getter for domains More... | |
virtual bool | contains_domain (Domain *d) const |
check if module contains domain More... | |
virtual bool | contains_relation (Relation *d) const |
check if module contains relation (ignoring module name) More... | |
virtual void | set_disable_constraints (bool value) const |
allows for disabling constraints check More... | |
virtual bool | check_constraints_local (bool check_rigid, bool check_flexible) const |
evaluates constraints locally, in current module More... | |
virtual database * | get_wsm_database () |
fetches a database of facts from well-supported model (for summing purposes) More... | |
virtual database * | get_add_database () |
fetches a database of facts which were added by actions to this module More... | |
virtual database * | get_remove_database () |
fetches a database of facts which were removed by actions from this module More... | |
virtual void | set_add_database (database *db) |
overrides a database of facts which were added by actions to this module More... | |
virtual void | set_remove_database (database *db) |
overrides a database of facts which were removed by actions from this module More... | |
virtual bool | constraints_violated () |
checks whether constraints are violated More... | |
Static Public Member Functions | |
static Inter4ql::logic_type::type | runPlugin (std::string relation, std::vector< Value *> *bindedValues) |
Function executing math function. More... | |
Additional Inherited Members | |
![]() | |
VariableSpace * | variable_space |
getter for reasoning wrapper pointer More... | |
std::vector< Relation * > * | relations |
list of relations inside external module | |
std::string | name |
name of external module | |
![]() | |
Inter4ql::database * | database_to_add |
Inter4ql::database * | database_to_remove |
Math module used to implement basic math operations.
|
explicit |
constructor for Math module
_v | pointer to VariableSpace class |
provides valuations matching given Fact
term | query to find in database |
Implements Inter4ql::ModuleGeneric.
|
virtual |
performs reasoning
Implements Inter4ql::ModuleGeneric.
|
static |
Function executing math function.
relation | name of relation to execute |
bindedValues | list of params for application |