Class NaiveTriggerComputer<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_computer.NaiveTriggerComputer<RW>

Type Parameters:

RW - the writable materialized data type used during chase execution

All Implemented Interfaces:

TriggerComputer<RW>

public class NaiveTriggerComputer<RW extends MaterializedData & Writable>
extends Object
implements TriggerComputer<RW>

This computing method consist of only evaluating the rule's body on the factbase.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Stream<Substitution>	compute(FOQuery<?> body, Collection<FORule> rules, ChasableData<RW> chasableData)	Computes and returns the triggers of the sharedBody on the factbase
void	init(Chase<RW> c)	Initialize the trigger computer for the given chase

Methods inherited from class Object

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

Methods inherited from interface TriggerComputer

describe

Constructor Details

NaiveTriggerComputer

public NaiveTriggerComputer()

Default constructor using the generic query evaluator

NaiveTriggerComputer

public NaiveTriggerComputer(FOQueryEvaluator<FOFormula, ? super QueryableData> evaluator)

Constructor using the given query evaluator

Parameters:

evaluator - the query evaluator to use

Method Details

init

public void init(Chase<RW> c)

Description copied from interface: TriggerComputer

Initialize the trigger computer for the given chase

Specified by:

init in interface TriggerComputer<RW extends MaterializedData & Writable>

Parameters:

c - the chase object

compute

public Stream<Substitution> compute(FOQuery<?> body,
 Collection<FORule> rules,
 ChasableData<RW> chasableData)

Description copied from interface: TriggerComputer

Computes and returns the triggers of the sharedBody on the factbase

Specified by:

compute in interface TriggerComputer<RW extends MaterializedData & Writable>

Parameters:

body - the sharedBody of the rule to evaluate

rules - the rules sharing the same body query

chasableData - the data to apply the rules on

Returns:

the triggers of the rule on the factbase