Class AlwaysTrueChecker<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type checked during chase execution

All Implemented Interfaces:

TriggerChecker<RW>

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

Always accept the given trigger For test purposes or when you are sure the trigger is new

Constructor Summary

Constructors

Constructor	Description
AlwaysTrueChecker()	Creates a checker that always accepts triggers.

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

AlwaysTrueChecker

public AlwaysTrueChecker()

Creates a checker that always accepts triggers.

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