Class ObliviousChecker<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type checked during chase execution

All Implemented Interfaces:

TriggerChecker<RW>

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

Accept the given trigger if it is the first time. This is the criteria for the oblivious chase

Constructor Summary

Constructors

Constructor	Description
ObliviousChecker()	Creates an 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

ObliviousChecker

public ObliviousChecker()

Creates an 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