Interface EffectiveQuery<Q extends Query, S extends Substitution>

Type Parameters:
Q - type of the wrapped query
S - type of the wrapped substitution
All Known Subinterfaces:
EffectiveConjunctiveQuery
All Known Implementing Classes:
DefaultEffectiveConjunctiveQuery, DefaultEffectiveQuery
public interface EffectiveQuery<Q extends Query, S extends Substitution>
This interface represents a query associated with a partial substitution.
Author:
Olivier Rodriguez

  • Method Summary

    Modifier and Type
    Method
    Description
    Q
    getQuery()
    Returns the wrapped query.
    S
    getSubstitution()
    Returns the substitution associated with the wrapped query.

  • Method Details

    • getQuery

      Q getQuery()
      Returns the wrapped query.
      Returns:
      the wrapped query

    • getSubstitution

      S getSubstitution()
      Returns the substitution associated with the wrapped query.
      Returns:
      the associated substitution