Class NoCover

java.lang.Object

fr.inria.rules.integraal.backward_chaining.cover.NoCover

All Implemented Interfaces:

CoverFunction

public class NoCover
extends Object
implements CoverFunction

Does nothing

Constructor Summary

Constructors

Constructor	Description
NoCover()	Creates a cover function that returns queries unchanged.

Method Summary

Modifier and Type	Method	Description
Set<FOQuery<? extends FOFormula>>	cover(Set<FOQuery<? extends FOFormula>> queries)	Computes a cover of the given query set.

Methods inherited from class Object

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

Constructor Details

NoCover

public NoCover()

Creates a cover function that returns queries unchanged.

Method Details

cover

public Set<FOQuery<? extends FOFormula>> cover(Set<FOQuery<? extends FOFormula>> queries)

Description copied from interface: CoverFunction

Computes a cover of the given query set.

Specified by:

cover in interface CoverFunction

Parameters:

queries - the set of queries to compute the cover of

Returns:

the cover of the given queries