Interface CoverFunction

All Known Implementing Classes:
NoCover, QueryCover
public interface CoverFunction
From Melanie Konïg's thesis Let Q1s and Q2s two set of queries We say that Q1s covers Q2s (noted Q1s >= Q2s) if for every query Q2 of Q2 there exist a query Q1 from Q1s such that Q1 >= Q2 (Q1 subsumes Q2) For termination reasons, the cover should keep in priority the already explored queries

  • 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.

  • Method Details

    • cover

      Set<FOQuery<? extends FOFormula>> cover(Set<FOQuery<? extends FOFormula>> queries)
      Computes a cover of the given query set.
      Parameters:
      queries - the set of queries to compute the cover of
      Returns:
      the cover of the given queries