Interface UnionOfConjunctiveQueries

All Superinterfaces:
CloseableIterable<EffectiveConjunctiveQuery>, Query
All Known Implementing Classes:
DefaultUnionOfConjunctiveQueries
public interface UnionOfConjunctiveQueries extends Query, CloseableIterable<EffectiveConjunctiveQuery>
Query representing a finite union of conjunctive queries.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Details

    • iterator

      CloseableIteratorWithoutException<EffectiveConjunctiveQuery> iterator()
      Description copied from interface: CloseableIterable
      Returns a closeable iterator over the elements of this iterable.
      Specified by:
      iterator in interface CloseableIterable<EffectiveConjunctiveQuery>
      Returns:
      the iterator over the elements

    • getConjunctiveQueries

      List<ConjunctiveQuery> getConjunctiveQueries()
      Returns all conjunctive queries contained in this union.
      Returns:
      All the conjunctive queries as a list.

    • getAnswerVariables

      List<Term> getAnswerVariables()
      Get the answer variables
      Returns:
      an Collection of Term representing the answer variables.

    • getLabel

      String getLabel()
      The label (the name) of this query.
      Specified by:
      getLabel in interface Query
      Returns:
      the label of this query

    • size

      int size()
      Returns the number of queries.
      Returns:
      the number of queries.

    • isEmpty

      boolean isEmpty()
      Returns true if there is no queries in this union, false otherwise.
      Returns:
      true if there is no queries in this union, false otherwise.

    • appendTo

      void appendTo(StringBuilder sb)
      Appends this object representation to the provided builder.
      Parameters:
      sb - the target builder