Interface FOQuery<Formula extends FOFormula>

Type Parameters:
Formula - the formula type backing the query
All Superinterfaces:
fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.sentences.IQuery, fr.inria.rules.dlgpemodel.api.sentences.ISentence, Labeled, Printable, Query, Sentence, Substitutable<FOQuery<Formula>>
All Known Implementing Classes:
FOQueryImpl
public interface FOQuery<Formula extends FOFormula> extends Query, Printable, Substitutable<FOQuery<Formula>>, fr.inria.rules.dlgpemodel.api.sentences.IQuery
This interface represents a first order Query.
It is represented with a formula, the body of the query. Associated to this formula is answer variables.
Additionally, a query is linked to variable equalities.

  • Field Summary

    Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

    IDENT

    Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

    WRITER

    Fields inherited from interface Labeled

    NOLABEL

  • Method Summary

    Modifier and Type
    Method
    Description
    Formula
    getFormula()
    Returns the formula that defines the query body.
    TermPartition
    getVariableEqualities()
    The variable equalities represent equalities between variables of this query.

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.HasItemInfo

    getIdentifier, getInfo, getItemInfo, setIdentifier, setInfo, setItemInfo

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

    toDLGPE

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IQuery

    getAnswerVariables, getBody

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.ISentence

    setPatterns

    Methods inherited from interface Printable

    toDLGP

    Methods inherited from interface Query

    getAnswerVariables

    Methods inherited from interface Sentence

    getLabel, getPatterns, setLabel

    Methods inherited from interface Substitutable

    applySubstitution, applySubstitution

  • Method Details

    • getFormula

      Formula getFormula()
      Returns the formula that defines the query body.
      Returns:
      the first order formula that represents this first order query

    • getVariableEqualities

      TermPartition getVariableEqualities()
      The variable equalities represent equalities between variables of this query.
      These equalities are represented by a partition of the terms of the query. An empty partition mean that no equalities are expressed.
      Returns:
      the partition of the terms of this query representing variable equalities.