public interface ChaseHaltingCondition
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
apply(Rule rule,
Substitution substitution,
AtomSet data)
This method should return the atoms to actually add.
|
CloseableIterator<Atom> apply(Rule rule, Substitution substitution, AtomSet data) throws HomomorphismFactoryException, HomomorphismException
rule
- The rule which is triggeredsubstitution
- A homomorphism of the rule body found. The existential
variables are not substitued.data
- The data over which this rule is applied.HomomorphismFactoryException
HomomorphismException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.