Uses of Interface
fr.lirmm.graphik.graal.api.forward_chaining.RuleApplier

Packages that use RuleApplier

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

Uses of RuleApplier in fr.lirmm.graphik.graal.api.forward_chaining

Methods in fr.lirmm.graphik.graal.api.forward_chaining that return RuleApplier

Modifier and Type	Method and Description
protected RuleApplier<T1,? super T2>	AbstractChase.getRuleApplier()

Methods in fr.lirmm.graphik.graal.api.forward_chaining with parameters of type RuleApplier

Modifier and Type	Method and Description
protected void	AbstractChase.setRuleApplier(RuleApplier<T1,? super T2> applier)

Constructors in fr.lirmm.graphik.graal.api.forward_chaining with parameters of type RuleApplier

Constructor and Description
AbstractChase(RuleApplier<T1,? super T2> ruleApplier)

Uses of RuleApplier in fr.lirmm.graphik.graal.forward_chaining

Methods in fr.lirmm.graphik.graal.forward_chaining with parameters of type RuleApplier

Modifier and Type	Method and Description
static void	StaticChase.executeChase(AtomSet atomSet, Iterable<Rule> ruleSet, RuleApplier<Rule,AtomSet> ruleApplier)

Constructors in fr.lirmm.graphik.graal.forward_chaining with parameters of type RuleApplier

Constructor and Description
BreadthFirstChase(Iterable<Rule> rules, AtomSet atomSet, RuleApplier<Rule,AtomSet> ruleApplier)
BreadthFirstChase(Iterator<Rule> rules, AtomSet atomSet, RuleApplier<Rule,AtomSet> ruleApplier)
ChaseWithGRD(GraphOfRuleDependencies grd, T atomSet, RuleApplier<Rule,? super T> ruleApplier)
ChaseWithGRDAndUnfiers(GraphOfRuleDependencies grd, T atomSet, RuleApplier<Rule,? super T> ruleApplier)
SccChase(GraphOfRuleDependencies grd, T atomSet, RuleApplier<Rule,? super T> ruleApplier)
SccChase(Iterator<Rule> rules, T atomSet, RuleApplier<Rule,? super T> ruleApplier)

Uses of RuleApplier in fr.lirmm.graphik.graal.forward_chaining.rule_applier

Classes in fr.lirmm.graphik.graal.forward_chaining.rule_applier that implement RuleApplier

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