Package fr.lirmm.graphik.graal.forward_chaining.rule_applier

Class Summary

Class	Description
AbstractRuleApplier<T extends AtomSet>
DefaultRuleApplier<T extends AtomSet>	This Applier executes a call to the chaseStopCondition for all unique homomorphisms of frontier variables.
ExhaustiveRuleApplier<T extends AtomSet>	This Applier executes a call to the chaseStopCondition for all homomorphisms of the rule body found.
RestrictedChaseRuleApplier<T extends AtomSet>