Class TriggerApplierImpl<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier.TriggerApplierImpl<RW>

Type Parameters:

RW - the writable materialized data type handled by the trigger applier

All Implemented Interfaces:

TriggerApplier<RW>

Direct Known Subclasses:

TriggerApplierWithTrackerImpl

public class TriggerApplierImpl<RW extends MaterializedData & Writable>
extends Object
implements TriggerApplier<RW>

Applies the given triggers by * renaming the existentials * and creating the image of the rule's head with the renamed homomorphism * then add the images to the facts

Field Summary

Fields

Modifier and Type	Field	Description
protected final FactsHandler<RW>	fh	Handler used to add the produced facts.
protected final TriggerRenamer	tr	Renamer used to produce fresh existential witnesses.

Constructor Summary

Constructors

Constructor	Description
TriggerApplierImpl(TriggerRenamer tr, FactsHandler<RW> fh)	Creates a trigger applier with the supplied renamer and facts handler.

Method Summary

Modifier and Type	Method	Description
FOFormula	apply(FORule rule, Substitution substitution, RW readWriteData)	Applies the given substitution to the rule's head and add the result to the readWriteData

Methods inherited from class Object

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

Methods inherited from interface TriggerApplier

describe

Field Details

tr

protected final TriggerRenamer tr

Renamer used to produce fresh existential witnesses.

fh

protected final FactsHandler<RW extends MaterializedData & Writable> fh

Handler used to add the produced facts.

Constructor Details

TriggerApplierImpl

public TriggerApplierImpl(TriggerRenamer tr,
 FactsHandler<RW> fh)

Creates a trigger applier with the supplied renamer and facts handler.

Parameters:

tr - the TriggerRenamer

fh - the FactsHandler

Method Details

apply

public FOFormula apply(FORule rule,
 Substitution substitution,
 RW readWriteData)

Description copied from interface: TriggerApplier

Applies the given substitution to the rule's head and add the result to the readWriteData

Specified by:

apply in interface TriggerApplier<RW extends MaterializedData & Writable>

Parameters:

rule - the rule to apply

substitution - the trigger of the rule

readWriteData - Writable where to add the new facts

Returns:

the effectively added facts