public enum SortingFormat extends Enum<SortingFormat> implements Enumeration
NumericalPropagationStateHistory
 are sorted.| Enum Constant and Description | 
|---|
FORWARDS
Entries which occur earlier chronologically have a lower index than entries which occur later. 
 | 
REVERSE
Entries which occur later chronologically have a lower index than entries which occur earlier. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static SortingFormat | 
getDefault()
Get the enum constant that is considered to be the default. 
 | 
static SortingFormat | 
getFromValue(int value)
Get the enum constant that is associated with the given numeric value. 
 | 
int | 
getValue()
Get the numeric value associated with this enum constant. 
 | 
static SortingFormat | 
valueOf(String name)
Returns the enum constant of this type with the specified name. 
 | 
static SortingFormat[] | 
values()
Returns an array containing the constants of this enum type, in
the order they are declared. 
 | 
public static final SortingFormat FORWARDS
public static final SortingFormat REVERSE
public static SortingFormat[] values()
for (SortingFormat c : SortingFormat.values()) System.out.println(c);
public static SortingFormat valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullpublic int getValue()
getValue in interface Enumeration@Nonnull public static SortingFormat getFromValue(int value)
value - a numeric value.@Nonnull public static SortingFormat getDefault()