Class ComputeLocalCore<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.treatment.ComputeLocalCore<RW>

Type Parameters:

RW - the writable materialized data type handled by the treatment

All Implemented Interfaces:

EndTreatment<RW>, Treatment<RW>

public class ComputeLocalCore<RW extends MaterializedData & Writable>
extends Object
implements EndTreatment<RW>

Treatment that computes the local core of the current fact base This treatment consists of only remove all the redundant atoms created at the last step

Author:

Guillaume Pérution-Kihli

Constructor Summary

Constructors

Constructor	Description
ComputeLocalCore(CoreProcessor<RW> processor)	Creates the local-core computation treatment.

Method Summary

Modifier and Type	Method	Description
void	apply()	Applies the treatment
void	init(Chase<RW> c)	Initialize the treatment for the given chase

Methods inherited from class Object

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

Methods inherited from interface Treatment

describe

Constructor Details

ComputeLocalCore

public ComputeLocalCore(CoreProcessor<RW> processor)

Creates the local-core computation treatment.

Parameters:

processor - the core processor used to prune the current fact base

Method Details

init

public void init(Chase<RW> c)

Description copied from interface: Treatment

Initialize the treatment for the given chase

Specified by:

init in interface Treatment<RW extends MaterializedData & Writable>

Parameters:

c - the chase object

apply

public void apply()

Description copied from interface: Treatment

Applies the treatment

Specified by:

apply in interface Treatment<RW extends MaterializedData & Writable>