Class NaiveCoreProcessor

java.lang.Object

fr.inria.rules.integraal.core.NaiveCoreProcessor

All Implemented Interfaces:

CoreProcessor<FactBase>

public class NaiveCoreProcessor
extends Object
implements CoreProcessor<FactBase>

Computes a fact-base core by testing removable variables one by one.

Constructor Summary

Constructors

Constructor	Description
NaiveCoreProcessor()	Creates a naive core processor using the default FO-query evaluator.
NaiveCoreProcessor(FOQueryEvaluator<FOFormula, ? super FactBase> evaluator)	Creates a naive core processor using the supplied evaluator.

Method Summary

Modifier and Type	Method	Description
void	computeCore(FactBase fb, Set<Variable> frozenVariables)	Compute the core of a fact base by removing all the redundant atoms in it, in considering the frozen variables as constants, these variables must belong to the core.

Methods inherited from class Object

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

Methods inherited from interface CoreProcessor

computeCore

Constructor Details

NaiveCoreProcessor

public NaiveCoreProcessor()

Creates a naive core processor using the default FO-query evaluator.

NaiveCoreProcessor

public NaiveCoreProcessor(FOQueryEvaluator<FOFormula, ? super FactBase> evaluator)

Creates a naive core processor using the supplied evaluator.

Parameters:

evaluator - the evaluator used to test homomorphisms

Method Details

computeCore

public void computeCore(FactBase fb,
 Set<Variable> frozenVariables)

Description copied from interface: CoreProcessor

Compute the core of a fact base by removing all the redundant atoms in it, in considering the frozen variables as constants, these variables must belong to the core.

Specified by:

computeCore in interface CoreProcessor<FactBase>

Parameters:

fb - the writable data on which we want to compute the core

frozenVariables - Variables that will be treated as constants