Class ComputeCore<RW extends MaterializedData & Writable>

java.lang.Object

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

Type Parameters:

RW - the writable materialized data type handled by the treatment

All Implemented Interfaces:

EndTreatment<RW>, PreTreatment<RW>, Treatment<RW>

public class ComputeCore<RW extends MaterializedData & Writable>
extends Object
implements EndTreatment<RW>, PreTreatment<RW>

Treatment that computes the core of the current fact base

Author:

Guillaume Pérution-Kihli

Constructor Summary

Constructors

Constructor	Description
ComputeCore(CoreProcessor<RW> processor)	Creates the 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

ComputeCore

public ComputeCore(CoreProcessor<RW> processor)

Creates the 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>