Inter4ql
5.2
Inter4ql
ModuleExternal
Inter4ql::ModuleExternal Member List
This is the complete list of members for
Inter4ql::ModuleExternal
, including all inherited members.
ask_for_result
(Fact *term) const =0
Inter4ql::ModuleGeneric
pure 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
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::ModuleExternal
virtual
get_name
() const
Inter4ql::ModuleExternal
virtual
get_references
(Fact *term)
Inter4ql::ModuleGeneric
virtual
get_relation
(std::string s) const
Inter4ql::ModuleExternal
virtual
get_relations
() const
Inter4ql::ModuleExternal
virtual
get_remove_database
()
Inter4ql::ModuleGeneric
inline
virtual
get_variable_space
() const
Inter4ql::ModuleExternal
get_wsm_database
()
Inter4ql::ModuleGeneric
inline
virtual
ModuleExternal
(VariableSpace *_v)
Inter4ql::ModuleExternal
explicit
ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
name
Inter4ql::ModuleExternal
print
()
Inter4ql::ModuleExternal
virtual
reason
()=0
Inter4ql::ModuleGeneric
pure virtual
reason_with_rules
(std::vector< Rule *> *rules)
Inter4ql::ModuleGeneric
inline
virtual
relations
Inter4ql::ModuleExternal
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::ModuleExternal
~ModuleExternal
()
Inter4ql::ModuleExternal
~ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
virtual
Generated on Wed May 13 2020 21:44:45 for Inter4ql by
1.8.13