Class SemiNaiveComputer<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type used during chase execution

All Implemented Interfaces:

TriggerComputer<RW>

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

Computes only triggers that has not been computed at a previous step
See ... part 13.1 for more explanations

Constructor Summary

Constructors

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

SemiNaiveComputer

public SemiNaiveComputer()

Default constructor using the generic query evaluator

SemiNaiveComputer

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