public class HaltingConditionWithHandler extends Object implements ChaseHaltingCondition
Constructor and Description |
---|
HaltingConditionWithHandler(ChaseHaltingCondition c) |
HaltingConditionWithHandler(ChaseHaltingCondition c,
RuleApplicationHandler h) |
Modifier and Type | Method and Description |
---|---|
CloseableIterator<Atom> |
apply(Rule rule,
Substitution substitution,
AtomSet data)
This method should return the atoms to actually add.
|
void |
setHandler(RuleApplicationHandler h) |
void |
setRealChaseHaltingCondition(ChaseHaltingCondition c) |
public HaltingConditionWithHandler(ChaseHaltingCondition c, RuleApplicationHandler h)
public HaltingConditionWithHandler(ChaseHaltingCondition c)
public CloseableIterator<Atom> apply(Rule rule, Substitution substitution, AtomSet data) throws HomomorphismFactoryException, HomomorphismException
ChaseHaltingCondition
apply
in interface ChaseHaltingCondition
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
public void setHandler(RuleApplicationHandler h)
public void setRealChaseHaltingCondition(ChaseHaltingCondition c)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.