Interface Term

All Superinterfaces:
Comparable<Term>, Serializable
All Known Subinterfaces:
Constant, Literal, Variable
All Known Implementing Classes:
AbstractTerm
public interface Term extends Comparable<Term>, Serializable
In analogy to natural language, where a noun phrase refers to an object, a term denotes a mathematical object referring to someone or something. A term is either a Constant or Variable, a variable is a placeholder for an other term.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static enum 
    Term.Type
    Deprecated.

  • Method Summary

    Modifier and Type
    Method
    Description
    Object
    getIdentifier()
    A unique identifier of this term.
    String
    getLabel()
    Return a label that represents this term.
    Term.Type
    getType()
    Deprecated.
    boolean
    isConstant()
    Returns true iff this term is a Constant.
    boolean
    isLiteral()
    Returns true if this term is a literal, in this case isConstant() must also return true.
    boolean
    isVariable()
    Returns true if this term is a Variable.

    Methods inherited from interface Comparable

    compareTo

  • Method Details

    • isConstant

      boolean isConstant()
      Returns true iff this term is a Constant. The returned value of isConstant() must be equals to !isVariable().
      Returns:
      true if this term is a constant, false otherwise.

    • isVariable

      boolean isVariable()
      Returns true if this term is a Variable. The returned value of isVariable() must be equals to !isConstant().
      Returns:
      true if this term is a variable, false otherwise.

    • isLiteral

      boolean isLiteral()
      Returns true if this term is a literal, in this case isConstant() must also return true.
      Returns:
      true if this term is a literal, false otherwise.

    • getLabel

      String getLabel()
      Return a label that represents this term. There is no guarantee that two terms with the same label represent the same term (see getIdentifier()).
      Returns:
      a label that represents this term.

    • getIdentifier

      Object getIdentifier()
      A unique identifier of this term. The following constraint must be fulfil:
      this.getIdentifier().equals(o.getIdentifier()) must be equivalent to this.equals(o).
      Returns:
      a unique identifier of this term.

    • getType

      @Deprecated Term.Type getType()
      Deprecated.
      This method is deprecated since 1.3, use isVariable(), isConstant() or isLiteral() instead.

      Returns:
      the Term.Type of this term.