Enum Class Inertia

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

public enum Inertia extends Enum<Inertia>
This class implement the concept of inertia. An inertia can be POSTIVE, NEGATIVE, FLUENT or only INERTIA according to the following definitions:

Definition 1. A relation is a positive inertia if and only if it does not occur positively in an unconditional effect or the consequent of a conditional effect of an operator.

Definition 2. A relation is a negative inertia if and only if it does not occur negatively in an unconditional effect or the consequent of a conditional effect of an operator.

The pre-processing proceeds over the domain and problem description and collects all used relation names. For each relation it checks if it satisfies one of the following definitions: Relations, which are positive as well as negative inertia, are simply called inertia. Relations, which are neither positive nor negative inertia, are called fluents. The detection of inertia and fluents is easy because in ADL, effects are restricted to conjunctions of literals. Furthermore, this information can be obtained with a single pass over the domain description, which takes almost no time at all.
  • Enum Constant Details

    • POSITIVE

      public static final Inertia POSITIVE
      The positive inertia.
    • NEGATIVE

      public static final Inertia NEGATIVE
      The negative inertia.
    • INERTIA

      public static final Inertia INERTIA
      The positive and negative inertia.
    • FLUENT

      public static final Inertia FLUENT
      The inertia which are neither positive nor negative.
  • Method Details

    • values

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