Enum Class SymbolType

java.lang.Object
java.lang.Enum<SymbolType>
fr.uga.pddl4j.parser.SymbolType
All Implemented Interfaces:
Serializable, Comparable<SymbolType>, Constable

public enum SymbolType extends Enum<SymbolType>
The enumeration used to specified the different types of the symbol.
  • Enum Constant Details

    • PREDICATE

      public static final SymbolType PREDICATE
      The predicate symbol.
    • TYPE

      public static final SymbolType TYPE
      The type symbol.
    • ACTION

      public static final SymbolType ACTION
      The action symbol.
    • METHOD

      public static final SymbolType METHOD
      The method symbol.
    • TASK

      public static final SymbolType TASK
      The task symbol.
    • PREFERENCE

      public static final SymbolType PREFERENCE
      The preference symbol.
    • FUNCTOR

      public static final SymbolType FUNCTOR
      The functor symbol.
    • VARIABLE

      public static final SymbolType VARIABLE
      The variable symbol.
    • DURATION_VARIABLE

      public static final SymbolType DURATION_VARIABLE
      The duration variable symbol.
    • CONTINUOUS_VARIABLE

      public static final SymbolType CONTINUOUS_VARIABLE
      The continuous variable symbol.
    • CONSTANT

      public static final SymbolType CONSTANT
      The constant symbol.
    • DOMAIN

      public static final SymbolType DOMAIN
      The domain symbol.
    • PROBLEM

      public static final SymbolType PROBLEM
      The problem symbol.
    • TASK_ID

      public static final SymbolType TASK_ID
      the task id symbol.
  • Method Details

    • values

      public static SymbolType[] 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 SymbolType 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