Class TriggerApplierWithTrackerImpl<RW extends MaterializedData & Writable>

java.lang.Object

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

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

Type Parameters:

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

All Implemented Interfaces:

Trackable, TriggerApplier<RW>

public class TriggerApplierWithTrackerImpl<RW extends MaterializedData & Writable>
extends TriggerApplierImpl<RW>
implements TriggerApplier<RW>, Trackable

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 inherited from class TriggerApplierImpl

fh, tr

Constructor Summary

Constructors

Constructor	Description
TriggerApplierWithTrackerImpl(TriggerRenamer tr, FactsHandler<RW> fh)	Creates a tracking trigger applier backed by a fresh lineage tracker.
TriggerApplierWithTrackerImpl(TriggerRenamer tr, FactsHandler fh, LineageTracker tracker)	Creates a tracking trigger applier backed by the supplied lineage tracker.

Method Summary

Modifier and Type	Method	Description
FOFormula	apply(FORule rule, Substitution substitution, RW writableTarget)	Applies the given substitution to the rule's head and add the result to the readWriteData
LineageTracker	getTracker()	Returns the lineage tracker used by the object.

Methods inherited from class Object

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

Methods inherited from interface TriggerApplier

describe

Constructor Details

TriggerApplierWithTrackerImpl

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

Creates a tracking trigger applier backed by a fresh lineage tracker.

Parameters:

tr - the TriggerRenamer

fh - the FactsHandler

TriggerApplierWithTrackerImpl

public TriggerApplierWithTrackerImpl(TriggerRenamer tr,
 FactsHandler fh,
 LineageTracker tracker)

Creates a tracking trigger applier backed by the supplied lineage tracker.

Parameters:

tr - the TriggerRenamer

fh - the FactsHandler

tracker - the lineage tracker to update during trigger application

Method Details

apply

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

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>

Overrides:

apply in class TriggerApplierImpl<RW extends MaterializedData & Writable>

Parameters:

rule - the rule to apply

substitution - the trigger of the rule

writableTarget - Writable where to add the new facts

Returns:

the effectively added facts

getTracker

public LineageTracker getTracker()

Description copied from interface: Trackable

Returns the lineage tracker used by the object.

Specified by:

getTracker in interface Trackable

Returns:

the tracker used by the object