Class SemiObliviousChecker<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_checker.SemiObliviousChecker<RW>

Type Parameters:

RW - the writable materialized data type checked during chase execution

All Implemented Interfaces:

TriggerChecker<RW>

public class SemiObliviousChecker<RW extends MaterializedData & Writable>
extends Object
implements TriggerChecker<RW>

Accept the trigger if it is the first time, checking only the variables from the frontier of the rule. This is the criteria for the semi-oblivious chase

Constructor Summary

Constructors

Constructor	Description
SemiObliviousChecker()	Creates a semi-oblivious trigger checker.

Method Summary

Modifier and Type	Method	Description
boolean	check(FORule rule, Substitution substitution, RW readWriteData)	Checks whether the supplied trigger satisfies this criterion.

Methods inherited from class Object

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

Methods inherited from interface TriggerChecker

describe

Constructor Details

SemiObliviousChecker

public SemiObliviousChecker()

Creates a semi-oblivious trigger checker.

Method Details

check

public boolean check(FORule rule,
 Substitution substitution,
 RW readWriteData)

Description copied from interface: TriggerChecker

Checks whether the supplied trigger satisfies this criterion.

Specified by:

check in interface TriggerChecker<RW extends MaterializedData & Writable>

Parameters:

rule - the rule that is triggered

substitution - the trigger

readWriteData - Writable where to add the new facts

Returns:

true iff the trigger respects the criteria