Package fr.uga.pddl4j.problem

Interface AtomicFormula

All Superinterfaces:
Serializable
All Known Implementing Classes:
AbstractAtomicFormula, Fluent, NumericFluent, Task
public interface AtomicFormula extends Serializable
This interface describes the interface of every atomic formulas.
Since:
4.0

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    arity()
    Returns the arity of this atomic formula, i.e., the number of arguments of the atomic formula.
    int[]
    getArguments()
    Returns the arguments of the atomic formula.
    int
    getSymbol()
    Returns the symbol of this atomic formula.
    void
    setArguments​(int[] arguments)
    Sets the arguments of the atomic formula.
    void
    setSymbol​(int symbol)
    Sets the symbole of this atomic formula.

  • Method Details

    • getSymbol

      int getSymbol()
      Returns the symbol of this atomic formula.
      Returns:
      the symbol of this atomic formula.

    • setSymbol

      void setSymbol​(int symbol)
      Sets the symbole of this atomic formula.
      Parameters:
      symbol - the symbol of the atomic fomula.

    • getArguments

      int[] getArguments()
      Returns the arguments of the atomic formula.
      Returns:
      the arguments of the atomic formula.

    • setArguments

      void setArguments​(int[] arguments)
      Sets the arguments of the atomic formula.
      Parameters:
      arguments - the arguments of the atomic formula.

    • arity

      int arity()
      Returns the arity of this atomic formula, i.e., the number of arguments of the atomic formula.
      Returns:
      the arity of this atomic formula.