Package fr.uga.pddl4j.problem.time
Enum Class TemporalRelation
- All Implemented Interfaces:
Serializable
,Comparable<TemporalRelation>
,Constable
This enumeration defined the temporal relation between tasks.
- Since:
- 4.0
-
Nested Class Summary
Nested classes/interfaces inherited from class java.lang.Enum
Enum.EnumDesc<E extends Enum<E>>
-
Enum Constant Summary
Enum ConstantDescriptionThe different relation.The empty relation, i.e., impossible relation.The equal relation.The greater or equal relation.The greater relation.The less or equal relation.The less relation.The universal relation, i.e., no temporal constraints. -
Method Summary
Modifier and TypeMethodDescriptioncompose(TemporalRelation relation)
Returns the result of the composition of this temporal relation with another relation.int
getIndex()
Returns the index of the relation.intersect(TemporalRelation relation)
Returns the result of the intersection of this temporal relation with another relation.Returns the result of the symetric of this temporal relation.static TemporalRelation
Returns the enum constant of this class with the specified name.static TemporalRelation[]
values()
Returns an array containing the constants of this enum class, in the order they are declared.
-
Enum Constant Details
-
EMPTY
The empty relation, i.e., impossible relation. -
LESS
The less relation. -
EQUAL
The equal relation. -
GREATER
The greater relation. -
LEQ
The less or equal relation. -
GEQ
The greater or equal relation. -
DIFFERENT
The different relation. -
UNIVERSAL
The universal relation, i.e., no temporal constraints.
-
-
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
-
getIndex
public int getIndex()Returns the index of the relation.- Returns:
- the index of the relation
-
compose
Returns the result of the composition of this temporal relation with another relation.- Parameters:
relation
- the other relation.- Returns:
- of the composition of this temporal relation with specified relation.
-
intersect
Returns the result of the intersection of this temporal relation with another relation.- Parameters:
relation
- the other relation.- Returns:
- of the intersection of this temporal relation with specified relation.
-
symmetric
Returns the result of the symetric of this temporal relation.- Returns:
- of the symmetric of this temporal relation.
-