Class TwoStepsComputer<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type used during chase execution

All Implemented Interfaces:

TriggerComputer<RW>

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

Computes only triggers that has not been computed at a previous step

Send an atom on the new facts and extends the homomorphism to the factbase

Constructor Summary

Constructors

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

TwoStepsComputer

public TwoStepsComputer()

Default constructor using the generic query evaluator

TwoStepsComputer

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