Inter4ql
5.2
Inter4ql
ModuleBelief
Inter4ql::ModuleBelief Member List
This is the complete list of members for
Inter4ql::ModuleBelief
, including all inherited members.
add_domain
(Domain *d) (defined in
Inter4ql::ModuleBelief
)
Inter4ql::ModuleBelief
add_relation
(Relation *r) (defined in
Inter4ql::ModuleBelief
)
Inter4ql::ModuleBelief
ask_for_result
(Fact *term) const
Inter4ql::ModuleBelief
virtual
check_constraints_local
(bool check_rigid, bool check_flexible) const override
Inter4ql::ModuleBelief
virtual
constraints_violated
() override
Inter4ql::ModuleBelief
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 override
Inter4ql::ModuleBelief
virtual
evaluate_expression_bf
(Expression *expr) const override
Inter4ql::ModuleBelief
virtual
get_add_database
()
Inter4ql::ModuleGeneric
inline
virtual
get_constraints
() const override
Inter4ql::ModuleBelief
inline
virtual
get_domain_type
(std::string name) (defined in
Inter4ql::ModuleBelief
)
Inter4ql::ModuleBelief
get_domains
() const
Inter4ql::ModuleBelief
virtual
get_member_modules
()
Inter4ql::ModuleBelief
get_members
() const (defined in
Inter4ql::ModuleBelief
)
Inter4ql::ModuleBelief
get_module_type
() const
Inter4ql::ModuleBelief
virtual
get_name
() const
Inter4ql::ModuleBelief
virtual
get_references
(Fact *term)
Inter4ql::ModuleGeneric
virtual
get_relation
(std::string s) const
Inter4ql::ModuleBelief
virtual
get_relations
() const
Inter4ql::ModuleGeneric
inline
virtual
get_remove_database
()
Inter4ql::ModuleGeneric
inline
virtual
get_wsm_database
()
Inter4ql::ModuleGeneric
inline
virtual
ModuleBelief
(std::string _name, Constraints *_constraints, std::vector< std::string > *_members)
Inter4ql::ModuleBelief
ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
print
()
Inter4ql::ModuleBelief
virtual
reason
()
Inter4ql::ModuleBelief
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 override
Inter4ql::ModuleBelief
inline
virtual
set_modules
(std::vector< ModuleGeneric *> *_modules) override
Inter4ql::ModuleBelief
virtual
set_remove_database
(database *db)
Inter4ql::ModuleGeneric
inline
virtual
~ModuleBelief
()
Inter4ql::ModuleBelief
~ModuleGeneric
()
Inter4ql::ModuleGeneric
inline
virtual
Generated on Wed May 13 2020 21:44:45 for Inter4ql by
1.8.13