Class BreadthFirstTriggerRuleApplier<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.AbstractRuleApplier<RW>

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.BreadthFirstTriggerRuleApplier<RW>

Type Parameters:

RW - the writable materialized data type handled by the applier

All Implemented Interfaces:

RuleApplier<RW>

public class BreadthFirstTriggerRuleApplier<RW extends MaterializedData & Writable>
extends AbstractRuleApplier<RW>

The breadth first rule application applies the rules by * Computing the homomorphisms from the body of the rules to the factbase * Checking if the homomorphism is applicable * Applying the homomorphism to the head of the rule and * Adding the resulting atoms to the factbase

Field Summary

Fields inherited from class AbstractRuleApplier

applier, checker, computer, LOG, transformer

Constructor Summary

Constructors

Constructor	Description
BreadthFirstTriggerRuleApplier(BodyToQueryTransformer transformer, TriggerComputer<RW> computer, TriggerChecker<RW> checker, TriggerApplier<RW> applier)	Constructor

Method Summary

Modifier and Type	Method	Description
RuleApplicationStepResult	apply(Collection<FORule> rules, ChasableData<RW> chasableData)	Applies the given rules on the given data and returns the result (see RuleApplicationStepResult)

Methods inherited from class AbstractRuleApplier

describe, describeJSON, groupRulesByBodyQuery, init

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

BreadthFirstTriggerRuleApplier

public BreadthFirstTriggerRuleApplier(BodyToQueryTransformer transformer,
 TriggerComputer<RW> computer,
 TriggerChecker<RW> checker,
 TriggerApplier<RW> applier)

Constructor

Parameters:

transformer - the BodyToQueryTransformer

computer - the TriggerComputer

checker - the TriggerChecker

applier - the TriggerApplier

Method Details

apply

public RuleApplicationStepResult apply(Collection<FORule> rules,
 ChasableData<RW> chasableData)

Description copied from interface: RuleApplier

Applies the given rules on the given data and returns the result (see RuleApplicationStepResult)

Parameters:

rules - the rules to apply

chasableData - the data to apply the rules on

Returns:

the result of one application step