Class EquivalentChecker<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type checked during chase execution

All Implemented Interfaces:

TriggerChecker<RW>

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

Checks if the factbase created with the given trigger would be equivalent to the current factbase

Constructor Summary

Constructors

Constructor	Description
EquivalentChecker()	Default constructor using the generic query evaluator
EquivalentChecker(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

EquivalentChecker

public EquivalentChecker()

Default constructor using the generic query evaluator

EquivalentChecker

public EquivalentChecker(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