Package fr.uga.pddl4j.parser

Interface ParsedOperator

All Superinterfaces:
ParsedObject, Serializable
All Known Implementing Classes:
ParsedAbstractOperator, ParsedAction, ParsedMethod
public interface ParsedOperator extends ParsedObject
This interface defines the methods of all planning operators.

  • Method Details

    • getName

      Symbol<String> getName()
      Returns the name of the operator.
      Returns:
      the name of the operator.

    • setName

      void setName​(Symbol<String> name)
      Sets a new name to the operator.
      Parameters:
      name - the name to set.

    • getParameters

      List<TypedSymbol<String>> getParameters()
      Returns the list of parameters of the operator.
      Returns:
      the list of parameters of the operator.

    • getParameter

      TypedSymbol<String> getParameter​(Symbol<String> symbol)
      Returns the parameter of the operator that has a specified symbol.
      Parameters:
      symbol - The symbol.
      Returns:
      the parameter of the operator that has a specified symbol or null if the operator has no such parameter.

    • toTask

      NamedTypedList toTask()
      Returns the task representation of this operator.
      Returns:
      the task representation of this operator.

    • setParameters

      void setParameters​(List<TypedSymbol<String>> parameters)
      Sets a new list of parameters to this operator.
      Parameters:
      parameters - The list of parameters to set.

    • getPreconditions

      Expression<String> getPreconditions()
      Returns the goal description that represents the preconditions of the operator.
      Returns:
      The goal description that represents the preconditions of the operator.

    • setPreconditions

      void setPreconditions​(Expression<String> preconditions)
      Sets new preconditions to the operator.
      Parameters:
      preconditions - The new goal description that represents the preconditions of the operator to set.

    • getArity

      int getArity()
      Return the arity of the operator, i.e., the number of parameters of the operator.
      Returns:
      the arity of the operator.

    • getDuration

      Expression<String> getDuration()
      Returns the duration constraints of the operator. If the return value is null, it means that that the operator is not durative.
      Returns:
      the duration constraints of the operator.

    • setDuration

      void setDuration​(Expression<String> duration)
      Sets new duration constraints to the operator.
      Parameters:
      duration - the duration constraint to set

    • isDurative

      boolean isDurative()
      Returns if this action is durative operator. If the method return false, the accessor getDuration() returns false.
      Returns:
      true if this operator is a durative, false otherwise.