Inter4ql  5.2
Inter4ql::ModuleInternal Member List

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

ask_for_result(Fact *term) const =0Inter4ql::ModuleGenericpure virtual
check_constraints_local(bool check_rigid, bool check_flexible) constInter4ql::ModuleGenericinlinevirtual
constraints_violated()Inter4ql::ModuleGenericinlinevirtual
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::ModuleInternalvirtual
get_name() constInter4ql::ModuleInternalvirtual
get_references(Fact *term)Inter4ql::ModuleGenericvirtual
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()=0Inter4ql::ModuleGenericpure virtual
reason_with_rules(std::vector< Rule *> *rules)Inter4ql::ModuleGenericinlinevirtual
relationsInter4ql::ModuleInternal
set_add_database(database *db)Inter4ql::ModuleGenericinlinevirtual
set_disable_constraints(bool value) constInter4ql::ModuleGenericinlinevirtual
set_modules(std::vector< ModuleGeneric *> *_modules)Inter4ql::ModuleGenericinlinevirtual
set_remove_database(database *db)Inter4ql::ModuleGenericinlinevirtual
variable_spaceInter4ql::ModuleInternal
~ModuleGeneric()Inter4ql::ModuleGenericinlinevirtual
~ModuleInternal()Inter4ql::ModuleInternal