Package fr.uga.pddl4j.problem.operator

Class IntMethod

java.lang.Object
fr.uga.pddl4j.problem.operator.AbstractInstantiatedOperator
fr.uga.pddl4j.problem.operator.AbstractIntOperator
fr.uga.pddl4j.problem.operator.IntMethod
All Implemented Interfaces:
Operator, Serializable
public final class IntMethod extends AbstractIntOperator
This class implements an method. This class is used to store compact representation of method during the instantiation process.
See Also:
Serialized Form

  • Constructor Details

    • IntMethod

      public IntMethod​(IntMethod other)
      Create a new method from a specified method. This constructor create a deep copy of the specified method.
      Parameters:
      other - the other method.

    • IntMethod

      public IntMethod​(String name, int arity)
      Create a new method with a specified name. The task is set to a empty expression with TASK as connective and the task network is set to an empty task network.
      Parameters:
      name - the name of the method.
      arity - the arity of the method. The arity must be greater than 0.

  • Method Details

    • getTask

      public final Expression<Integer> getTask()
      Return the task that is carried out by the method.
      Returns:
      the task carried out by the method.

    • setTask

      public final void setTask​(Expression<Integer> task)
      Set the task carried out by the method.
      Parameters:
      task - the task the carried out by the method.

    • getSubTasks

      public final Expression<Integer> getSubTasks()
      Return the subtasks of the method.
      Returns:
      the subtasks of the method.

    • setSubTasks

      public final void setSubTasks​(Expression<Integer> tasks)
      Set the subtasks of the method.
      Parameters:
      tasks - the subtasks to set.

    • getOrderingConstraints

      public final Expression<Integer> getOrderingConstraints()
      Return the ordering constraints of the method.
      Returns:
      the ordering constraints of the method.

    • setOrderingConstraints

      public final void setOrderingConstraints​(Expression<Integer> ordering)
      Set the new ordering constraints of the method.
      Parameters:
      ordering - the orderings constraints to set

    • getConstraints

      public final Expression<Integer> getConstraints()
      Returns the logical constraints between the tasks of the task network.
      Returns:
      the logical constraints of the task network.

    • setConstraints

      public final void setConstraints​(Expression<Integer> constraints)
      Sets the logical constraints between the tasks of the task network.
      Parameters:
      constraints - The constraints to set.

    • getTaskNetwork

      public final IntTaskNetwork getTaskNetwork()
      Returns the task network of this method.
      Returns:
      the task network of this method.

    • setTaskNetwork

      public final void setTaskNetwork​(IntTaskNetwork taskNetwork)
      Set the task network of this method.
      Parameters:
      taskNetwork - the task network to set.