Class ChaseImpl<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.ChaseImpl<RW>

Type Parameters:

RW - the writable materialized data type processed by the chase

All Implemented Interfaces:

ForwardChainingAlgorithm, Chase<RW>

public class ChaseImpl<RW extends MaterializedData & Writable>
extends Object
implements Chase<RW>

Default implementation of the chase algorithm

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ChaseImpl(ChasableData<RW> chasableData, RuleBase rb, RuleScheduler rule_scheduler, RuleApplier<RW> rule_applier, Collection<HaltingCondition<RW>> halting_conditions, Collection<PreTreatment<RW>> global_preTreatments, Collection<PreTreatment<RW>> step_preTreatments, Collection<EndTreatment<RW>> global_end_treatments, Collection<EndTreatment<RW>> end_of_step_treatments)	Use ChaseBuilder to create a chase

Method Summary

Modifier and Type	Method	Description
void	applyEndOfStepTreatments()	Apply end of step treatments These are treatments to do at the end of each step of the chase
void	applyGlobalEndTreatments()	Apply global end treatments These are treatments to do once at the end of the chase
void	applyGlobalPretreatments()	Apply global pretreatments These are treatments to do once at the beginning of the chase
void	applyPretreatments()	Apply pretreatments These are treatments to do at the beginning of each step of the chase
String	describe()	Returns a JSON description of the chase configuration.
ChasableData<RW>	getChasableData()	//////////////////////////////////////////////
IChaseDescription	getDescription()	Returns a structured description of the chase configuration.
RuleApplicationStepResult	getLastStepResults()	Returns the result of the last applied chase step.
RuleBase	getRuleBase()	Returns the rule base used by this chase.
RuleScheduler	getRuleScheduler()	Returns the rule scheduler driving the chase.
int	getStepCount()	Returns the current chase step number.
boolean	hasNextStep()	Indicates whether another chase step is available.
void	nextStep()	//////////////////////////////////////////////
void	setRuleBase(RuleBase rb)	Sets the rulebase of this chase
String	toString()

Methods inherited from class Object

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

Methods inherited from interface Chase

execute

Constructor Details

ChaseImpl

protected ChaseImpl(ChasableData<RW> chasableData,
 RuleBase rb,
 RuleScheduler rule_scheduler,
 RuleApplier<RW> rule_applier,
 Collection<HaltingCondition<RW>> halting_conditions,
 Collection<PreTreatment<RW>> global_preTreatments,
 Collection<PreTreatment<RW>> step_preTreatments,
 Collection<EndTreatment<RW>> global_end_treatments,
 Collection<EndTreatment<RW>> end_of_step_treatments)

Use ChaseBuilder to create a chase

Parameters:

chasableData - the factbase

rb - the rulebase

rule_scheduler - the rule scheduler

rule_applier - the rule applier

halting_conditions - the halting conditions

global_preTreatments - the global pre-treatments

step_preTreatments - the step pre-treatments

global_end_treatments - the global end treatments

end_of_step_treatments - the end of step treatments

Method Details

nextStep

public void nextStep()

//////////////////////////////////////////////

Specified by:

nextStep in interface Chase<RW extends MaterializedData & Writable>

hasNextStep

public boolean hasNextStep()

Description copied from interface: Chase

Indicates whether another chase step is available.

Specified by:

hasNextStep in interface Chase<RW extends MaterializedData & Writable>

Returns:

true iff this chase has a next step

applyGlobalPretreatments

public void applyGlobalPretreatments()

Description copied from interface: Chase

Apply global pretreatments These are treatments to do once at the beginning of the chase

Specified by:

applyGlobalPretreatments in interface Chase<RW extends MaterializedData & Writable>

applyPretreatments

public void applyPretreatments()

Description copied from interface: Chase

Apply pretreatments These are treatments to do at the beginning of each step of the chase

Specified by:

applyPretreatments in interface Chase<RW extends MaterializedData & Writable>

applyEndOfStepTreatments

public void applyEndOfStepTreatments()

Description copied from interface: Chase

Apply end of step treatments These are treatments to do at the end of each step of the chase

Specified by:

applyEndOfStepTreatments in interface Chase<RW extends MaterializedData & Writable>

applyGlobalEndTreatments

public void applyGlobalEndTreatments()

Description copied from interface: Chase

Apply global end treatments These are treatments to do once at the end of the chase

Specified by:

applyGlobalEndTreatments in interface Chase<RW extends MaterializedData & Writable>

getChasableData

public ChasableData<RW> getChasableData()

//////////////////////////////////////////////

Specified by:

getChasableData in interface Chase<RW extends MaterializedData & Writable>

Returns:

the ChasableData of this chase

getRuleBase

public RuleBase getRuleBase()

Description copied from interface: Chase

Returns the rule base used by this chase.

Specified by:

getRuleBase in interface Chase<RW extends MaterializedData & Writable>

Returns:

the rulebase of this chase

setRuleBase

public void setRuleBase(RuleBase rb)

Description copied from interface: Chase

Sets the rulebase of this chase

Specified by:

setRuleBase in interface Chase<RW extends MaterializedData & Writable>

Parameters:

rb - the new rulebase

getLastStepResults

public RuleApplicationStepResult getLastStepResults()

Description copied from interface: Chase

Returns the result of the last applied chase step.

Specified by:

getLastStepResults in interface Chase<RW extends MaterializedData & Writable>

Returns:

the result of the last step of this chase

getRuleScheduler

public RuleScheduler getRuleScheduler()

Description copied from interface: Chase

Returns the rule scheduler driving the chase.

Specified by:

getRuleScheduler in interface Chase<RW extends MaterializedData & Writable>

Returns:

the rule scheduler of this chase

toString

public String toString()

Overrides:

toString in class Object

getStepCount

public int getStepCount()

Description copied from interface: Chase

Returns the current chase step number.

Specified by:

getStepCount in interface Chase<RW extends MaterializedData & Writable>

Returns:

the number of the current step

getDescription

public IChaseDescription getDescription()

Description copied from interface: Chase

Returns a structured description of the chase configuration. Returns a description of the configuration of the chase

Specified by:

getDescription in interface Chase<RW extends MaterializedData & Writable>

Returns:

the chase description

describe

public String describe()

Description copied from interface: Chase

Returns a JSON description of the chase configuration. Returns a String description of the configuration of the chase

Specified by:

describe in interface Chase<RW extends MaterializedData & Writable>

Returns:

the serialized chase description