Inter4ql  5.2
Inter4ql::Bel Member List

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

ask_for_result(Fact *term) const overrideInter4ql::Belvirtual
Bel(VariableSpace *_v, std::vector< ModuleGeneric *> *_modules)Inter4ql::Belexplicit
check_constraints_local(bool check_rigid, bool check_flexible) constInter4ql::ModuleGenericinlinevirtual
constraints_violated() overrideInter4ql::Belvirtual
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) constInter4ql::ModuleGenericvirtual
evaluate_expression_bf(Expression *expr) constInter4ql::ModuleGenericvirtual
generate_facts() (defined in Inter4ql::ModuleInternal)Inter4ql::ModuleInternalinlinevirtual
get_add_database()Inter4ql::ModuleGenericinlinevirtual
get_constraints() constInter4ql::ModuleGenericinlinevirtual
get_domains() constInter4ql::ModuleGenericinlinevirtual
get_module_type() constInter4ql::Belvirtual
get_name() constInter4ql::ModuleInternalvirtual
get_references(Fact *term) overrideInter4ql::Belvirtual
get_relation(std::string s) constInter4ql::ModuleInternalvirtual
get_relations() constInter4ql::ModuleInternalvirtual
get_remove_database()Inter4ql::ModuleGenericinlinevirtual
get_variable_space() constInter4ql::ModuleInternal
get_wsm_database()Inter4ql::ModuleGenericinlinevirtual
ModuleGeneric()Inter4ql::ModuleGenericinline
ModuleInternal(VariableSpace *_v)Inter4ql::ModuleInternalexplicit
nameInter4ql::ModuleInternal
print()Inter4ql::ModuleInternalvirtual
reason()Inter4ql::Belvirtual
reason_with_rules(std::vector< Rule *> *rules)Inter4ql::ModuleGenericinlinevirtual
relationsInter4ql::ModuleInternal
set_add_database(database *db)Inter4ql::ModuleGenericinlinevirtual
set_disable_constraints(bool value) const overrideInter4ql::Belinlinevirtual
set_modules(std::vector< ModuleGeneric *> *_modules)Inter4ql::Belinlinevirtual
set_remove_database(database *db)Inter4ql::ModuleGenericinlinevirtual
variable_spaceInter4ql::ModuleInternal
~Bel() (defined in Inter4ql::Bel)Inter4ql::Bel
~ModuleGeneric()Inter4ql::ModuleGenericinlinevirtual
~ModuleInternal()Inter4ql::ModuleInternal