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 preprocessing 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
