Inter4ql  5.2
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) constInter4ql::ModuleBeliefvirtual
check_constraints_local(bool check_rigid, bool check_flexible) const overrideInter4ql::ModuleBeliefvirtual
constraints_violated() overrideInter4ql::ModuleBeliefvirtual
contains_domain(Domain *d) constInter4ql::ModuleGenericvirtual
contains_relation(Relation *d) constInter4ql::ModuleGenericvirtual
database_to_add (defined in Inter4ql::ModuleGeneric)Inter4ql::ModuleGenericprotected
database_to_remove (defined in Inter4ql::ModuleGeneric)Inter4ql::ModuleGenericprotected
evaluate_expression(Expression *expr) const overrideInter4ql::ModuleBeliefvirtual
evaluate_expression_bf(Expression *expr) const overrideInter4ql::ModuleBeliefvirtual
get_add_database()Inter4ql::ModuleGenericinlinevirtual
get_constraints() const overrideInter4ql::ModuleBeliefinlinevirtual
get_domain_type(std::string name) (defined in Inter4ql::ModuleBelief)Inter4ql::ModuleBelief
get_domains() constInter4ql::ModuleBeliefvirtual
get_member_modules()Inter4ql::ModuleBelief
get_members() const (defined in Inter4ql::ModuleBelief)Inter4ql::ModuleBelief
get_module_type() constInter4ql::ModuleBeliefvirtual
get_name() constInter4ql::ModuleBeliefvirtual
get_references(Fact *term)Inter4ql::ModuleGenericvirtual
get_relation(std::string s) constInter4ql::ModuleBeliefvirtual
get_relations() constInter4ql::ModuleGenericinlinevirtual
get_remove_database()Inter4ql::ModuleGenericinlinevirtual
get_wsm_database()Inter4ql::ModuleGenericinlinevirtual
ModuleBelief(std::string _name, Constraints *_constraints, std::vector< std::string > *_members)Inter4ql::ModuleBelief
ModuleGeneric()Inter4ql::ModuleGenericinline
print()Inter4ql::ModuleBeliefvirtual
reason()Inter4ql::ModuleBeliefvirtual
reason_with_rules(std::vector< Rule *> *rules)Inter4ql::ModuleGenericinlinevirtual
set_add_database(database *db)Inter4ql::ModuleGenericinlinevirtual
set_disable_constraints(bool value) const overrideInter4ql::ModuleBeliefinlinevirtual
set_modules(std::vector< ModuleGeneric *> *_modules) overrideInter4ql::ModuleBeliefvirtual
set_remove_database(database *db)Inter4ql::ModuleGenericinlinevirtual
~ModuleBelief()Inter4ql::ModuleBelief
~ModuleGeneric()Inter4ql::ModuleGenericinlinevirtual