Interface TriggerApplier<RW extends MaterializedData & Writable>

Type Parameters:

RW - the writable materialized data type receiving inferred facts

All Known Implementing Classes:

TriggerApplierImpl, TriggerApplierWithTrackerImpl

public interface TriggerApplier<RW extends MaterializedData & Writable>

A trigger applier applies a homomorphism to the rule's head and adds the resulting atoms to the readWriteData

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
default String	describe()	Default method to describe the rule scheduler

Method Details

apply

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

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

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

describe

default String describe()

Default method to describe the rule scheduler

Returns:

a short description of this trigger applier