Class RestrictedTriggerComputer<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type used during chase execution

All Implemented Interfaces:

TriggerComputer<RW>

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

This computing method consist of only evaluating the rules body -> head like the query body ^ not head

Constructor Summary

Constructors

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

RestrictedTriggerComputer

public RestrictedTriggerComputer()

Default constructor using the generic query evaluator

RestrictedTriggerComputer

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