Enum TimeConstraints.TimeAssumption
- java.lang.Object
-
- java.lang.Enum<TimeConstraints.TimeAssumption>
-
- org.processmining.plugins.stochasticpetrinet.enricher.TimeConstraints.TimeAssumption
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<TimeConstraints.TimeAssumption>
- Enclosing class:
- TimeConstraints
public static enum TimeConstraints.TimeAssumption extends java.lang.Enum<TimeConstraints.TimeAssumption>
-
-
Enum Constant Summary
Enum Constants Enum Constant Description FIRST_WAIT_TIME_IS_ZERONO_SERVICE_TIMENO_WAIT_TIMEUNOBSERVED_ARE_IMMEDIATE
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static TimeConstraints.TimeAssumptionvalueOf(java.lang.String name)Returns the enum constant of this type with the specified name.static TimeConstraints.TimeAssumption[]values()Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
NO_WAIT_TIME
public static final TimeConstraints.TimeAssumption NO_WAIT_TIME
-
NO_SERVICE_TIME
public static final TimeConstraints.TimeAssumption NO_SERVICE_TIME
-
FIRST_WAIT_TIME_IS_ZERO
public static final TimeConstraints.TimeAssumption FIRST_WAIT_TIME_IS_ZERO
-
UNOBSERVED_ARE_IMMEDIATE
public static final TimeConstraints.TimeAssumption UNOBSERVED_ARE_IMMEDIATE
-
-
Method Detail
-
values
public static TimeConstraints.TimeAssumption[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (TimeConstraints.TimeAssumption c : TimeConstraints.TimeAssumption.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static TimeConstraints.TimeAssumption valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (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:
java.lang.IllegalArgumentException- if this enum type has no constant with the specified namejava.lang.NullPointerException- if the argument is null
-
-