Inter4ql
5.2
Inter4ql
Math
Inter4ql::Math Member List
This is the complete list of members for
Inter4ql::Math
, including all inherited members.
ask_for_result
(Fact *term) const
Inter4ql::Math
virtual
check_constraints_local
(bool check_rigid, bool check_flexible) const
Inter4ql::ModuleGeneric
inline
virtual
constraints_violated
()
Inter4ql::ModuleGeneric
inline
virtual
contains_domain
(Domain *d) const
Inter4ql::ModuleGeneric
virtual
contains_relation
(Relation *d) const
Inter4ql::ModuleGeneric
virtual
database_to_add
(defined in
Inter4ql::ModuleGeneric
)
Inter4ql::ModuleGeneric
protected
database_to_remove
(defined in
Inter4ql::ModuleGeneric
)
Inter4ql::ModuleGeneric
protected
evaluate_expression
(Expression *expr) const
Inter4ql::ModuleGeneric
virtual
evaluate_expression_bf
(Expression *expr) const
Inter4ql::ModuleGeneric
virtual
generate_facts
() (defined in
Inter4ql::ModuleInternal
)
Inter4ql::ModuleInternal
inline
virtual
get_add_database
()
Inter4ql::ModuleGeneric
inline
virtual
get_constraints
() const
Inter4ql::ModuleGeneric
inline
virtual
get_domains
() const
Inter4ql::ModuleGeneric
inline
virtual
get_module_type
() const
Inter4ql::ModuleInternal
virtual
get_name
() const
Inter4ql::ModuleInternal
virtual
get_references
(Fact *term)
Inter4ql::ModuleGeneric
virtual
get_relation
(std::string s) const
Inter4ql::ModuleInternal
virtual
get_relations
() const
Inter4ql::ModuleInternal
virtual
get_remove_database
()
Inter4ql::ModuleGeneric
inline
virtual
get_variable_space
() const
Inter4ql::ModuleInternal
get_wsm_database
()
Inter4ql::ModuleGeneric
inline
virtual
Math
(VariableSpace *_v)
Inter4ql::Math
explicit
ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
ModuleInternal
(VariableSpace *_v)
Inter4ql::ModuleInternal
explicit
name
Inter4ql::ModuleInternal
print
()
Inter4ql::ModuleInternal
virtual
reason
()
Inter4ql::Math
virtual
reason_with_rules
(std::vector< Rule *> *rules)
Inter4ql::ModuleGeneric
inline
virtual
relations
Inter4ql::ModuleInternal
runPlugin
(std::string relation, std::vector< Value *> *bindedValues)
Inter4ql::Math
static
set_add_database
(database *db)
Inter4ql::ModuleGeneric
inline
virtual
set_disable_constraints
(bool value) const
Inter4ql::ModuleGeneric
inline
virtual
set_modules
(std::vector< ModuleGeneric *> *_modules)
Inter4ql::ModuleGeneric
inline
virtual
set_remove_database
(database *db)
Inter4ql::ModuleGeneric
inline
virtual
variable_space
Inter4ql::ModuleInternal
~ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
virtual
~ModuleInternal
()
Inter4ql::ModuleInternal
Generated on Wed May 13 2020 21:44:45 for Inter4ql by
1.8.13