public class DefaultRuleApplier<T extends AtomSet> extends AbstractRuleApplier<T>
Constructor and Description |
---|
DefaultRuleApplier()
Construct a DefaultRuleApplier with a
RestrictedChaseHaltingCondition and a SmartHomomorphism |
DefaultRuleApplier(ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier with the given HaltingCondition.
|
DefaultRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver)
Construct a DefaultRuleApplier with a
RestrictedChaseHaltingCondition and the given homomorphism solver. |
DefaultRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver,
ChaseHaltingCondition haltingCondition)
Construct a DefaultRuleApplier 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 DefaultRuleApplier()
RestrictedChaseHaltingCondition
and a SmartHomomorphism
public DefaultRuleApplier(Homomorphism<? super ConjunctiveQuery,? super T> homomorphismSolver)
RestrictedChaseHaltingCondition
and the given homomorphism solver.public DefaultRuleApplier(ChaseHaltingCondition haltingCondition)
haltingCondition
- public DefaultRuleApplier(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.