Class StratifiedChase<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.metachase.stratified.StratifiedChase<RW>

Type Parameters:

RW - the writable materialized data type processed by the chase

All Implemented Interfaces:

ForwardChainingAlgorithm, Chase<RW>

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

Chase implementation that executes successive strata of a rule base.

Constructor Summary

Constructors

Constructor	Description
StratifiedChase(ChaseBuilder<RW> builder, ChasableData<RW> chasableData, List<RuleBase> strata, 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)	Creates a stratified chase from a configured builder and the resulting strata.

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
ChasableData<RW>	getChasableData()	Returns the chased data structure.
IChaseDescription	getDescription()	Returns a serializable description of this stratified chase state.
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()	Apply the next step of this chase
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

describe, execute

Constructor Details

StratifiedChase

public StratifiedChase(ChaseBuilder<RW> builder,
 ChasableData<RW> chasableData,
 List<RuleBase> strata,
 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)

Creates a stratified chase from a configured builder and the resulting strata.

Parameters:

builder - the builder used to create the per-stratum chases

chasableData - the chasable data to saturate

strata - the ordered strata to execute

halting_conditions - the halting conditions shared across strata

global_preTreatments - the treatments executed before the first step

step_preTreatments - the treatments executed before each stratum

global_end_treatments - the treatments executed after the final step

end_of_step_treatments - the treatments executed after each stratum

Method Details

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

nextStep

public void nextStep()

Description copied from interface: Chase

Apply the next step of this chase

Specified by:

nextStep in interface Chase<RW extends MaterializedData & Writable>

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()

Description copied from interface: Chase

Returns the chased data structure.

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

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

toString

public String toString()

Overrides:

toString in class Object

getDescription

public IChaseDescription getDescription()

Returns a serializable description of this stratified chase state.

Specified by:

getDescription in interface Chase<RW extends MaterializedData & Writable>

Returns:

the current chase description