Class QueryCover

java.lang.Object

fr.inria.rules.integraal.backward_chaining.cover.QueryCover

All Implemented Interfaces:

CoverFunction

public class QueryCover
extends Object
implements CoverFunction

Computes the cover of a set of queries using homomorphism to detect if a query is more general than another

Constructor Summary

Constructors

Constructor	Description
QueryCover()	Default constructor.
QueryCover(RuleCompilation compilation)	Constructor with compilation

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

QueryCover

public QueryCover()

Default constructor. Uses no compilation

QueryCover

public QueryCover(RuleCompilation compilation)

Constructor with compilation

Parameters:

compilation - the compilation to use

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