public static enum StochasticNet.ExecutionPolicy extends java.lang.Enum<StochasticNet.ExecutionPolicy>
Ajmone Marsan, M., et al. "The effect of execution policies on the semantics and analysis of stochastic Petri nets." Software Engineering, IEEE Transactions on 15.7 (1989): 832-846.
Enum Constant and Description |
---|
GLOBAL_PRESELECTION |
RACE_AGE_MEMORY |
RACE_ENABLING_MEMORY |
RACE_RESAMPLING |
Modifier and Type | Method and Description |
---|---|
static StochasticNet.ExecutionPolicy |
fromString(java.lang.String value) |
java.lang.String |
shortName() |
java.lang.String |
toString() |
static StochasticNet.ExecutionPolicy |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static StochasticNet.ExecutionPolicy[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final StochasticNet.ExecutionPolicy GLOBAL_PRESELECTION
public static final StochasticNet.ExecutionPolicy RACE_RESAMPLING
public static final StochasticNet.ExecutionPolicy RACE_ENABLING_MEMORY
public static final StochasticNet.ExecutionPolicy RACE_AGE_MEMORY
public static StochasticNet.ExecutionPolicy[] values()
for (StochasticNet.ExecutionPolicy c : StochasticNet.ExecutionPolicy.values()) System.out.println(c);
public static StochasticNet.ExecutionPolicy valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic java.lang.String shortName()
public java.lang.String toString()
toString
in class java.lang.Enum<StochasticNet.ExecutionPolicy>
public static StochasticNet.ExecutionPolicy fromString(java.lang.String value)