Package fr.uga.pddl4j.parser

Enum Class Connector

java.lang.Object
java.lang.Enum<Connector>
fr.uga.pddl4j.parser.Connector
All Implemented Interfaces:
Serializable, Comparable<Connector>, Constable
public enum Connector extends Enum<Connector>
This enumeration defines the connective that can be used in PDDL expressions implemented by the class Expression.

  • Enum Constant Details

    • ATOM

      public static final Connector ATOM
      The connective for an atom, i.e, atomic formula.

    • EQUAL_ATOM

      public static final Connector EQUAL_ATOM
      The connective for an equal atom.

    • NOT

      public static final Connector NOT
      The connective for the negative expressions.

    • AND

      public static final Connector AND
      The connective for the conjunctive expressions.

    • OR

      public static final Connector OR
      The connective for the disjunctive expressions.

    • IMPLY

      public static final Connector IMPLY
      The connective for the imply expressions.

    • FORALL

      public static final Connector FORALL
      The connective for the universal expressions.

    • EXISTS

      public static final Connector EXISTS
      The connective for the existential expressions.

    • F_EXP

      public static final Connector F_EXP
      The connective for the functions.

    • F_EXP_T

      public static final Connector F_EXP_T
      The connective for the temporal function.

    • TIME_VAR

      public static final Connector TIME_VAR
      The connective for the temporal variable.

    • F_TASK_TIME

      public static final Connector F_TASK_TIME
      The connective for the temporal task time.

    • FN_ATOM

      public static final Connector FN_ATOM
      The connective for ground function expression used in initial fact expressions.

    • FN_HEAD

      public static final Connector FN_HEAD
      The connective for ground function expression used in goal metric expressions.

    • TIMED_LITERAL

      public static final Connector TIMED_LITERAL
      The connective for the duration literal expressions.

    • LESS_COMPARISON

      public static final Connector LESS_COMPARISON
      The connective for the binary comparison expressions less.

    • LESS_OR_EQUAL_COMPARISON

      public static final Connector LESS_OR_EQUAL_COMPARISON
      The connective for the binary comparison expressions less or equal.

    • EQUAL_COMPARISON

      public static final Connector EQUAL_COMPARISON
      The connective for the binary comparison expressions equal.

    • GREATER_COMPARISON

      public static final Connector GREATER_COMPARISON
      The connective for the binary comparison expressions greater.

    • GREATER_OR_EQUAL_COMPARISON

      public static final Connector GREATER_OR_EQUAL_COMPARISON
      The connective for the binary comparison expressions greater or equal.

    • MULTIPLICATION

      public static final Connector MULTIPLICATION
      The connective for the binary operation expressions multiplication.

    • DIVISION

      public static final Connector DIVISION
      The connective for the binary operation expressions division.

    • MINUS

      public static final Connector MINUS
      The connective for the binary operation expressions minus.

    • UMINUS

      public static final Connector UMINUS
      The connective for the unary operation expressions minus.

    • PLUS

      public static final Connector PLUS
      The connective for the binary operation expressions plus.

    • NUMBER

      public static final Connector NUMBER
      The connective for number.

    • ASSIGN

      public static final Connector ASSIGN
      The connective for the assign expressions.

    • INCREASE

      public static final Connector INCREASE
      The connective for the increase expressions.

    • DECREASE

      public static final Connector DECREASE
      The connective for the decrease expressions.

    • SCALE_UP

      public static final Connector SCALE_UP
      The connective for the scale up expressions.

    • SCALE_DOWN

      public static final Connector SCALE_DOWN
      The connective for the scale down expressions.

    • AT_START

      public static final Connector AT_START
      The connective for the at start temporal expressions.

    • AT_END

      public static final Connector AT_END
      The connective for the at end temporal expressions.

    • OVER_ALL

      public static final Connector OVER_ALL
      The connective for the over all temporal expressions.

    • MINIMIZE

      public static final Connector MINIMIZE
      The connective for the minimize metric expressions.

    • MAXIMIZE

      public static final Connector MAXIMIZE
      The connective for the maximize metric expressions.

    • IS_VIOLATED

      public static final Connector IS_VIOLATED
      The connective for the is violated expressions.

    • WHEN

      public static final Connector WHEN
      The connective for the conditional expressions.

    • AT_END_CONSTRAINT

      public static final Connector AT_END_CONSTRAINT
      The connective for the at end constraint expressions.

    • ALWAYS_CONSTRAINT

      public static final Connector ALWAYS_CONSTRAINT
      The connective for the always expressions.

    • SOMETIME_CONSTRAINT

      public static final Connector SOMETIME_CONSTRAINT
      The connective for the sometime expressions.

    • WITHIN_CONSTRAINT

      public static final Connector WITHIN_CONSTRAINT
      The connective for the within expressions.

    • AT_MOST_ONCE_CONSTRAINT

      public static final Connector AT_MOST_ONCE_CONSTRAINT
      The connective for the at most once expressions.

    • SOMETIME_AFTER_CONSTRAINT

      public static final Connector SOMETIME_AFTER_CONSTRAINT
      The connective for the sometime after expressions.

    • SOMETIME_BEFORE_CONSTRAINT

      public static final Connector SOMETIME_BEFORE_CONSTRAINT
      The connective for the sometime before expressions.

    • ALWAYS_WITHIN_CONSTRAINT

      public static final Connector ALWAYS_WITHIN_CONSTRAINT
      The connective for the always within expressions.

    • HOLD_DURING_CONSTRAINT

      public static final Connector HOLD_DURING_CONSTRAINT
      The connective for the holding during expressions.

    • HOLD_AFTER_CONSTRAINT

      public static final Connector HOLD_AFTER_CONSTRAINT
      The connective for the holding after expressions.

    • FUNCTION_TERM

      public static final Connector FUNCTION_TERM
      The connective for the function term.

    • TRUE

      public static final Connector TRUE
      The connective for expression of type TRUE.

    • FALSE

      public static final Connector FALSE
      The connective for expression of type FALSE.

    • TASK

      public static final Connector TASK
      Connector for task used in HDDL fragment.

    • TASK_ID

      public static final Connector TASK_ID
      Connector for task id used in HDDL fragment.

    • TIMED_TASK_ID

      public static final Connector TIMED_TASK_ID
      Connector for time task id used in HDDL fragment.

    • LESS_ORDERING_CONSTRAINT

      public static final Connector LESS_ORDERING_CONSTRAINT
      Connector for ordering constraints used in HDDL fragment.

    • LESS_OR_EQUAL_ORDERING_CONSTRAINT

      public static final Connector LESS_OR_EQUAL_ORDERING_CONSTRAINT
      Connector for ordering constraints used in HDDL fragment.

    • GREATER_ORDERING_CONSTRAINT

      public static final Connector GREATER_ORDERING_CONSTRAINT
      Connector for ordering constraints used in HDDL fragment.

    • GREATER_OR_EQUAL_ORDERING_CONSTRAINT

      public static final Connector GREATER_OR_EQUAL_ORDERING_CONSTRAINT
      Connector for ordering constraints used in HDDL fragment.

    • EQUAL_ORDERING_CONSTRAINT

      public static final Connector EQUAL_ORDERING_CONSTRAINT
      Connector for ordering constraints used in HDDL fragment.

    • HOLD_BEFORE_METHOD_CONSTRAINT

      public static final Connector HOLD_BEFORE_METHOD_CONSTRAINT
      Connector for hold before method constraints in HDDL fragment.

    • HOLD_AFTER_METHOD_CONSTRAINT

      public static final Connector HOLD_AFTER_METHOD_CONSTRAINT
      Connector for hold after method constraints in HDDL fragment.

    • HOLD_BETWEEN_METHOD_CONSTRAINT

      public static final Connector HOLD_BETWEEN_METHOD_CONSTRAINT
      Connector for hold between method constraints in HDDL fragment.

    • HOLD_DURING_METHOD_CONSTRAINT

      public static final Connector HOLD_DURING_METHOD_CONSTRAINT
      Connector for hold during method constraints in HDDL fragment.

    • AT_END_METHOD_CONSTRAINT

      public static final Connector AT_END_METHOD_CONSTRAINT
      Connector for at end method constraints in HDDL fragment.

    • AT_START_METHOD_CONSTRAINT

      public static final Connector AT_START_METHOD_CONSTRAINT
      Connector for at start between method constraints in HDDL fragment.

    • ALWAYS_METHOD_CONSTRAINT

      public static final Connector ALWAYS_METHOD_CONSTRAINT
      Connector for always method constraints in HDDL fragment.

    • AT_MOST_ONCE_METHOD_CONSTRAINT

      public static final Connector AT_MOST_ONCE_METHOD_CONSTRAINT
      Connector for at most once method constraints in HDDL fragment.

    • SOMETIME_METHOD_CONSTRAINT

      public static final Connector SOMETIME_METHOD_CONSTRAINT
      Connector for sometime method constraints in HDDL fragment.

    • SOMETIME_BEFORE_METHOD_CONSTRAINT

      public static final Connector SOMETIME_BEFORE_METHOD_CONSTRAINT
      Connector for sometime before method constraints in HDDL fragment.

    • SOMETIME_AFTER_METHOD_CONSTRAINT

      public static final Connector SOMETIME_AFTER_METHOD_CONSTRAINT
      Connector for sometime after method constraints in HDDL fragment.

  • Method Details

    • values

      public static Connector[] values()
      Returns an array containing the constants of this enum class, in the order they are declared.
      Returns:
      an array containing the constants of this enum class, in the order they are declared

    • valueOf

      public static Connector valueOf​(String name)
      Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)
      Parameters:
      name - the name of the enum constant to be returned.
      Returns:
      the enum constant with the specified name
      Throws:
      IllegalArgumentException - if this enum class has no constant with the specified name
      NullPointerException - if the argument is null

    • getImage

      public String getImage()
      Returns the image of this connective.
      Returns:
      the image of this connective.