Class NoCoreProcessor

java.lang.Object

fr.inria.rules.integraal.backward_chaining.core.NoCoreProcessor

All Implemented Interfaces:

QueryCoreProcessor

public class NoCoreProcessor
extends Object
implements QueryCoreProcessor

Core computing implementation that does nothing Use this if you don't want to compute the core but an algorithm ask for one.

Author:

Florent Tornil

Constructor Summary

Constructors

Constructor	Description
NoCoreProcessor()	Creates a core processor that returns queries unchanged.

Method Summary

Modifier and Type	Method	Description
FOQuery<? extends FOFormula>	computeCore(FOQuery<? extends FOFormula> query)	Compute the core of a query by removing all the redundant atoms in it, in considering the answer 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

Constructor Details

NoCoreProcessor

public NoCoreProcessor()

Creates a core processor that returns queries unchanged.

Method Details

computeCore

public FOQuery<? extends FOFormula> computeCore(FOQuery<? extends FOFormula> query)

Description copied from interface: QueryCoreProcessor

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

Specified by:

computeCore in interface QueryCoreProcessor

Parameters:

query - a FOQuery we want to compute the core

Returns:

a query representing the core of the given query