Package fr.uga.pddl4j.problem
Enum Class Inertia
- All Implemented Interfaces:
Serializable
,Comparable<Inertia>
,Constable
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.-
Nested Class Summary
Nested classes/interfaces inherited from class java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum Constant Summary
-
Method Summary
-
Enum Constant Details
-
POSITIVE
The positive inertia. -
NEGATIVE
The negative inertia. -
INERTIA
The positive and negative inertia. -
FLUENT
The inertia which are neither positive nor negative.
-
-
Method Details
-
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
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 nameNullPointerException
- if the argument is null
-