public class ExhaustiveRuleApplier<T extends AtomSet> extends AbstractRuleApplier<T>
Constructor and Description |
---|
ExhaustiveRuleApplier()
Construct a ExhaustiveRuleApplier with a
RestrictedChaseHaltingCondition and a SmartHomomorphism |
ExhaustiveRuleApplier(ChaseHaltingCondition haltingCondition)
Construct a ExhaustiveRuleApplier with the given HaltingCondition.
|
ExhaustiveRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver)
Construct a ExhaustiveRuleApplier with a
RestrictedChaseHaltingCondition and the given homomorphism solver. |
ExhaustiveRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver,
ChaseHaltingCondition haltingCondition)
Construct a ExhaustiveRuleApplier with the given HaltingCondition,
homomorphism solver and SymbolGenerator
|
Modifier and Type | Method and Description |
---|---|
protected ConjunctiveQuery |
generateQuery(Rule rule) |
apply, delegatedApply, delegatedApply, executeQuery, getHaltingCondition
public ExhaustiveRuleApplier()
RestrictedChaseHaltingCondition
and a SmartHomomorphism
public ExhaustiveRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver)
RestrictedChaseHaltingCondition
and the given homomorphism solver.public ExhaustiveRuleApplier(ChaseHaltingCondition haltingCondition)
haltingCondition
- public ExhaustiveRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver, ChaseHaltingCondition haltingCondition)
haltingCondition
- homomorphismSolver
- protected ConjunctiveQuery generateQuery(Rule rule)
generateQuery
in class AbstractRuleApplier<T extends AtomSet>
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.