Interface Predicate

All Superinterfaces:
fr.inria.rules.dlgpemodel.api.elems.IPredicate, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, Standardizable
All Known Implementing Classes:
PredicateImpl
public interface Predicate extends Standardizable, fr.inria.rules.dlgpemodel.api.elems.IPredicate
A Predicate represents a relation between terms. It's arity determines the number of terms allowed in the relation. For example, a Predicate with name P and arity n allows atomic formulas of the form P(t1,...,tn).

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final Predicate
    BOTTOM
    Bottom predicate: always false
    static final Predicate
    TOP
    Top predicate: always true

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

    WRITER

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    arity()
    Returns the arity of this predicate.
    String
    label()
    Returns the label of this predicate.
    default String
    toStandardForm(Boolean shortForm)
    Returns the standardized textual form.

    Methods inherited from interface fr.inria.rules.dlgpemodel.api.elems.IPredicate

    getArity, getName

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

    toDLGPE

    Methods inherited from interface Standardizable

    toStandardForm

  • Field Details

    • BOTTOM

      static final Predicate BOTTOM
      Bottom predicate: always false

    • TOP

      static final Predicate TOP
      Top predicate: always true

  • Method Details

    • arity

      int arity()
      Returns the arity of this predicate.
      Returns:
      the arity of this predicate

    • label

      String label()
      Returns the label of this predicate.
      Returns:
      a String representation of this predicate name

    • toStandardForm

      default String toStandardForm(Boolean shortForm)
      Description copied from interface: Standardizable
      Returns the standardized textual form.
      Specified by:
      toStandardForm in interface Standardizable
      Parameters:
      shortForm - indicates whether the generated form should take into account the prefix system
      Returns:
      the standardized form