public enum PropagationEventTrigger extends Enum<PropagationEventTrigger> implements Enumeration
Enum Constant and Description |
---|
NEW_STEP
Indicates that the event was triggered by taking a new step to advance the state.
|
RESTEP
Indicates that the event was triggered by the propagator repropagating the previous step.
|
Modifier and Type | Method and Description |
---|---|
static PropagationEventTrigger |
getDefault()
Get the enum constant that is considered to be the default.
|
static PropagationEventTrigger |
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 PropagationEventTrigger |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static PropagationEventTrigger[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final PropagationEventTrigger NEW_STEP
public static final PropagationEventTrigger RESTEP
public static PropagationEventTrigger[] values()
for (PropagationEventTrigger c : PropagationEventTrigger.values()) System.out.println(c);
public static PropagationEventTrigger 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 PropagationEventTrigger getFromValue(int value)
value
- a numeric value.@Nonnull public static PropagationEventTrigger getDefault()