Module fr.inria.rules.integraal.component

module fr.inria.rules.integraal.component

High level components for the main functionalities of InteGraal

Author:

Federico

Packages

Package	Exported To Modules	Opened To Modules	Description
fr.inria.rules.integraal.component_builder	All Modules	All Modules
fr.inria.rules.integraal.component_builder.api	All Modules	All Modules
fr.inria.rules.integraal.component_builder.api.algorithm	All Modules	All Modules
fr.inria.rules.integraal.component_builder.api.scenario	All Modules	All Modules
fr.inria.rules.integraal.component_builder.components	All Modules	All Modules
fr.inria.rules.integraal.component_builder.evaluators.generic	All Modules	All Modules
fr.inria.rules.integraal.component_builder.evaluators.generic.processors	All Modules	All Modules
fr.inria.rules.integraal.component_builder.evaluators.query_evaluation	All Modules	All Modules
fr.inria.rules.integraal.component_builder.evaluators.query_evaluation.auxiliary	All Modules	All Modules
fr.inria.rules.integraal.component_builder.evaluators.query_rewriting	All Modules	All Modules
fr.inria.rules.integraal.component_builder.evaluators.query_rewriting.auxiliary	All Modules	All Modules
fr.inria.rules.integraal.component_builder.externalHaltingConditions	All Modules	All Modules

Indirect Exports

From

Packages

fr.inria.rules.integraal.backward_chaining

fr.inria.rules.integraal.backward_chaining.api fr.inria.rules.integraal.backward_chaining.core fr.inria.rules.integraal.backward_chaining.cover fr.inria.rules.integraal.backward_chaining.homomorphism fr.inria.rules.integraal.backward_chaining.pure fr.inria.rules.integraal.backward_chaining.pure.rewriting_operator fr.inria.rules.integraal.backward_chaining.source_target fr.inria.rules.integraal.backward_chaining.unfolding

fr.inria.rules.integraal.forward_chaining

fr.inria.rules.integraal.forward_chaining.api fr.inria.rules.integraal.forward_chaining.chase fr.inria.rules.integraal.forward_chaining.chase.data fr.inria.rules.integraal.forward_chaining.chase.description fr.inria.rules.integraal.forward_chaining.chase.halting_condition fr.inria.rules.integraal.forward_chaining.chase.lineage fr.inria.rules.integraal.forward_chaining.chase.metachase.stratified fr.inria.rules.integraal.forward_chaining.chase.rule_applier fr.inria.rules.integraal.forward_chaining.chase.rule_applier.body_to_query_transformer fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier.facts_handler fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier.renamer fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier.tracking fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_checker fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_computer fr.inria.rules.integraal.forward_chaining.chase.rule_scheduler fr.inria.rules.integraal.forward_chaining.chase.treatment

fr.inria.rules.integraal.model

fr.inria.rules.integraal.model.common.api fr.inria.rules.integraal.model.data.collection.api fr.inria.rules.integraal.model.data.collection.builder fr.inria.rules.integraal.model.data.operationsSupported fr.inria.rules.integraal.model.data.readable fr.inria.rules.integraal.model.data.readable.exception fr.inria.rules.integraal.model.data.readable.query fr.inria.rules.integraal.model.data.standardizable fr.inria.rules.integraal.model.data.writable fr.inria.rules.integraal.model.formula fr.inria.rules.integraal.model.formula.api fr.inria.rules.integraal.model.formula.factory fr.inria.rules.integraal.model.formula.impl fr.inria.rules.integraal.model.functions fr.inria.rules.integraal.model.kb.api fr.inria.rules.integraal.model.kb.impl fr.inria.rules.integraal.model.logicalElements.api fr.inria.rules.integraal.model.logicalElements.factory.api fr.inria.rules.integraal.model.logicalElements.factory.impl fr.inria.rules.integraal.model.logicalElements.functional fr.inria.rules.integraal.model.logicalElements.impl fr.inria.rules.integraal.model.logicalElements.impl.functionalTerms fr.inria.rules.integraal.model.logicalElements.impl.literals.types fr.inria.rules.integraal.model.partition fr.inria.rules.integraal.model.query.api fr.inria.rules.integraal.model.query.factory fr.inria.rules.integraal.model.query.impl fr.inria.rules.integraal.model.queryEvaluation.api fr.inria.rules.integraal.model.rule.api fr.inria.rules.integraal.model.rule.impl fr.inria.rules.integraal.model.ruleCompilation fr.inria.rules.integraal.model.ruleCompilation.api fr.inria.rules.integraal.model.ruleCompilation.id fr.inria.rules.integraal.model.util.wrapper

fr.inria.rules.integraal.query_evaluation

fr.inria.rules.integraal.query_evaluation.atomic fr.inria.rules.integraal.query_evaluation.conjunction fr.inria.rules.integraal.query_evaluation.conjunction.backtrack fr.inria.rules.integraal.query_evaluation.conjunction.backtrack.legacy fr.inria.rules.integraal.query_evaluation.generic fr.inria.rules.integraal.query_evaluation.negation fr.inria.rules.integraal.query_evaluation.union

fr.inria.rules.integraal.unifiers

fr.inria.rules.integraal.unifier

fr.inria.rules.integraal.views

fr.inria.rules.integraal.views fr.inria.rules.integraal.views.builder fr.inria.rules.integraal.views.datasource fr.inria.rules.integraal.views.view

Modules

Requires

Modifier

Module

Description

transitive

fr.inria.rules.integraal.backward_chaining

Module for backward chaining elements of InteGraal

transitive

fr.inria.rules.integraal.forward_chaining

Module for forward chaining elements of InteGraal

transitive

fr.inria.rules.integraal.model

Module for model elements of InteGraal

transitive

fr.inria.rules.integraal.query_evaluation

Module for query evaluation elements of InteGraal

transitive

fr.inria.rules.integraal.views

Module for view elements of InteGraal

Indirect Requires

Modifier

Module

Description

transitive

fr.inria.rules.integraal.unifiers

Module for unifier elements of InteGraal