Inter4ql  5.2
Inter4ql::ModuleLocal Member List

This is the complete list of members for Inter4ql::ModuleLocal, including all inherited members.

add_domain(Domain *d)Inter4ql::ModuleLocal
add_fact(Fact *r)Inter4ql::ModuleLocal
add_relation(Relation *r)Inter4ql::ModuleLocal
add_rule(Rule *r)Inter4ql::ModuleLocal
ask_for_ground_fact(Fact *instance) const (defined in Inter4ql::ModuleLocal)Inter4ql::ModuleLocal
ask_for_result(Fact *term) constInter4ql::ModuleLocalvirtual
check_constraints_local(bool check_rigid, bool check_flexible) const overrideInter4ql::ModuleLocalvirtual
constraints_violated() overrideInter4ql::ModuleLocalvirtual
contains_domain(Domain *d) constInter4ql::ModuleGenericvirtual
contains_relation(Relation *d) constInter4ql::ModuleGenericvirtual
database_ (defined in Inter4ql::ModuleLocal)Inter4ql::ModuleLocalprotected
database_to_add (defined in Inter4ql::ModuleGeneric)Inter4ql::ModuleGenericprotected
database_to_remove (defined in Inter4ql::ModuleGeneric)Inter4ql::ModuleGenericprotected
evaluate_expression(Expression *expr) constInter4ql::ModuleGenericvirtual
evaluate_expression_bf(Expression *expr) constInter4ql::ModuleGenericvirtual
generate_facts() (defined in Inter4ql::ModuleLocal)Inter4ql::ModuleLocal
get_add_database()Inter4ql::ModuleGenericinlinevirtual
get_constraints() const overrideInter4ql::ModuleLocalinlinevirtual
get_domain_type(std::string name)Inter4ql::ModuleLocal
get_domains() const overrideInter4ql::ModuleLocalvirtual
get_facts() const (defined in Inter4ql::ModuleLocal)Inter4ql::ModuleLocal
get_module_type() constInter4ql::ModuleLocalvirtual
get_name() constInter4ql::ModuleLocalvirtual
get_references(Fact *term)Inter4ql::ModuleGenericvirtual
get_relation(std::string s) constInter4ql::ModuleLocalvirtual
get_relations() constInter4ql::ModuleLocalvirtual
get_remove_database()Inter4ql::ModuleGenericinlinevirtual
get_rules() const (defined in Inter4ql::ModuleLocal)Inter4ql::ModuleLocal
get_wsm_database()Inter4ql::ModuleLocalinlinevirtual
ModuleGeneric()Inter4ql::ModuleGenericinline
ModuleLocal(std::string a_name, Constraints *_constraints, std::vector< Domain *> *_domains, std::vector< Relation *> *_relations, std::vector< Rule *> *_rules, std::vector< Fact *> *_facts)Inter4ql::ModuleLocal
print()Inter4ql::ModuleLocalvirtual
reason()Inter4ql::ModuleLocalvirtual
reason_with_rules(std::vector< Rule *> *rules)Inter4ql::ModuleLocalvirtual
set_add_database(database *db)Inter4ql::ModuleGenericinlinevirtual
set_disable_constraints(bool value) const overrideInter4ql::ModuleLocalinlinevirtual
set_modules(std::vector< ModuleGeneric *> *_modules)Inter4ql::ModuleGenericinlinevirtual
set_remove_database(database *db)Inter4ql::ModuleGenericinlinevirtual
~ModuleGeneric()Inter4ql::ModuleGenericinlinevirtual
~ModuleLocal()Inter4ql::ModuleLocal