Class RestrictedChecker<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type checked during chase execution

All Implemented Interfaces:

TriggerChecker<RW>

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

Accept the trigger if it cannot be extended with the head of the rule This is the criteria for the restricted chase

Constructor Summary

Constructors

Constructor	Description
RestrictedChecker()	Default constructor using the generic query evaluator
RestrictedChecker(FOQueryEvaluator<FOFormula, ? super RW> evaluator)	Constructor using the given query evaluator

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

RestrictedChecker

public RestrictedChecker()

Default constructor using the generic query evaluator

RestrictedChecker

public RestrictedChecker(FOQueryEvaluator<FOFormula, ? super RW> evaluator)

Constructor using the given query evaluator

Parameters:

evaluator - the query evaluator to use

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