Inter4ql
5.2
Inter4ql
ModuleAction
Inter4ql::ModuleAction Member List
This is the complete list of members for
Inter4ql::ModuleAction
, including all inherited members.
ask_for_result
(Fact *term) const
Inter4ql::ModuleAction
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_add_rules
() (defined in
Inter4ql::ModuleAction
)
Inter4ql::ModuleAction
get_args
() (defined in
Inter4ql::ModuleAction
)
Inter4ql::ModuleAction
get_composite_expr
() (defined in
Inter4ql::ModuleAction
)
Inter4ql::ModuleAction
get_constraints
() const
Inter4ql::ModuleGeneric
inline
virtual
get_domains
() const
Inter4ql::ModuleGeneric
inline
virtual
get_module_type
() const
Inter4ql::ModuleAction
virtual
get_name
() const
Inter4ql::ModuleAction
virtual
get_preconditions
() (defined in
Inter4ql::ModuleAction
)
Inter4ql::ModuleAction
get_references
(Fact *term)
Inter4ql::ModuleGeneric
virtual
get_relation
(std::string s) const
Inter4ql::ModuleGeneric
inline
virtual
get_relations
() const
Inter4ql::ModuleGeneric
inline
virtual
get_remove_database
()
Inter4ql::ModuleGeneric
inline
virtual
get_remove_rules
() (defined in
Inter4ql::ModuleAction
)
Inter4ql::ModuleAction
get_wsm_database
()
Inter4ql::ModuleGeneric
inline
virtual
is_composite
() (defined in
Inter4ql::ModuleAction
)
Inter4ql::ModuleAction
ModuleAction
(std::string _name, std::vector< Value *> *_args, Expression *_preconditions, std::vector< Rule *> *_add, std::vector< Rule *> *_remove, Expression *composite_expr)
Inter4ql::ModuleAction
ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
print
()
Inter4ql::ModuleAction
virtual
reason
()
Inter4ql::ModuleAction
virtual
reason_with_rules
(std::vector< Rule *> *rules)
Inter4ql::ModuleGeneric
inline
virtual
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) override
Inter4ql::ModuleAction
virtual
set_remove_database
(database *db)
Inter4ql::ModuleGeneric
inline
virtual
~ModuleAction
()
Inter4ql::ModuleAction
~ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
virtual
Generated on Wed May 13 2020 21:44:45 for Inter4ql by
1.8.13