Package fr.uga.pddl4j.parser

Enum Class RequireKey

java.lang.Object
java.lang.Enum<RequireKey>
fr.uga.pddl4j.parser.RequireKey
All Implemented Interfaces:
Serializable, Comparable<RequireKey>, Constable
public enum RequireKey extends Enum<RequireKey>
This enumeration defines the set of PDDL require key.

  • Enum Constant Details

    • STRIPS

      public static final RequireKey STRIPS
      The PDDL :strips requirement.

    • TYPING

      public static final RequireKey TYPING
      The PDDL :typing requirement.

    • NEGATIVE_PRECONDITIONS

      public static final RequireKey NEGATIVE_PRECONDITIONS
      The PDDL :negative-preconditions requirement.

    • DISJUNCTIVE_PRECONDITIONS

      public static final RequireKey DISJUNCTIVE_PRECONDITIONS
      The PDDL :disjunctive-preconditions requirement.

    • EQUALITY

      public static final RequireKey EQUALITY
      The PDDL :equality requirement.

    • EXISTENTIAL_PRECONDITIONS

      public static final RequireKey EXISTENTIAL_PRECONDITIONS
      The PDDL :existential-preconditions requirement.

    • UNIVERSAL_PRECONDITIONS

      public static final RequireKey UNIVERSAL_PRECONDITIONS
      The PDDL :universal-preconditions requirement.

    • QUANTIFIED_PRECONDITIONS

      public static final RequireKey QUANTIFIED_PRECONDITIONS
      The PDDL :quantified-preconditions requirement.

    • CONDITIONAL_EFFECTS

      public static final RequireKey CONDITIONAL_EFFECTS
      The PDDL :conditional-effects requirement.

    • FLUENTS

      public static final RequireKey FLUENTS
      The PDDL :fluents requirement (object-fluents + numeric-fluents since PDDL3.1).

    • NUMERIC_FLUENTS

      public static final RequireKey NUMERIC_FLUENTS
      The PDDL :numeric-fluents requirement.

    • OBJECT_FLUENTS

      public static final RequireKey OBJECT_FLUENTS
      The PDDL :object-fluents requirement.

    • GOAL_UTILITIES

      public static final RequireKey GOAL_UTILITIES
      The PDDL :goal-utilities requirement (since PDDL3.1).

    • ACTION_COSTS

      public static final RequireKey ACTION_COSTS
      The PDDL :action-costs requirement (since PDDL3.1).

    • ADL

      public static final RequireKey ADL
      The PDDL :adl requirement.

    • DURATIVE_ACTIONS

      public static final RequireKey DURATIVE_ACTIONS
      The PDDL :durative-actions requirement.

    • DERIVED_PREDICATES

      public static final RequireKey DERIVED_PREDICATES
      The PDDL :derived-predicates requirement.

    • TIMED_INITIAL_LITERALS

      public static final RequireKey TIMED_INITIAL_LITERALS
      The PDDL :times-initial-literals requirement.

    • PREFERENCES

      public static final RequireKey PREFERENCES
      The PDDL :preferences requirement.

    • CONSTRAINTS

      public static final RequireKey CONSTRAINTS
      The PDDL :constraints requirement.

    • CONTINOUS_EFFECTS

      public static final RequireKey CONTINOUS_EFFECTS
      The PDDL :continous-effects requirement.

    • DURATION_INEQUALITIES

      public static final RequireKey DURATION_INEQUALITIES
      The PDDL :duration-inequalities requirement.

    • HIERARCHY

      public static final RequireKey HIERARCHY
      The PDDL :htn requirement for HDDL langage.

    • METHOD_PRECONDITIONS

      public static final RequireKey METHOD_PRECONDITIONS
      The PDDL :method-preconditions requirement for HDDL langage.

    • METHOD_CONSTRAINTS

      public static final RequireKey METHOD_CONSTRAINTS
      The PDDL :method-constraints requirement for HDDL langage.

  • Method Details

    • values

      public static RequireKey[] 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 RequireKey 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 require key.
      Returns:
      the image of this require key.

    • toString

      public String toString()
      Returns a string representation of this require key.
      Overrides:
      toString in class Enum<RequireKey>
      Returns:
      a string representation of this require key.