public static enum LTL2LDBAFunction.Configuration extends java.lang.Enum<LTL2LDBAFunction.Configuration>
Enum Constant | Description |
---|---|
EAGER_UNFOLD |
|
EPSILON_TRANSITIONS |
|
FORCE_JUMPS |
|
NON_DETERMINISTIC_INITIAL_COMPONENT |
|
OPTIMISED_STATE_STRUCTURE |
|
SUPPRESS_JUMPS |
Modifier and Type | Method | Description |
---|---|---|
static LTL2LDBAFunction.Configuration |
valueOf(java.lang.String name) |
Returns the enum constant of this type with the specified name.
|
static LTL2LDBAFunction.Configuration[] |
values() |
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final LTL2LDBAFunction.Configuration NON_DETERMINISTIC_INITIAL_COMPONENT
public static final LTL2LDBAFunction.Configuration EAGER_UNFOLD
public static final LTL2LDBAFunction.Configuration FORCE_JUMPS
public static final LTL2LDBAFunction.Configuration OPTIMISED_STATE_STRUCTURE
public static final LTL2LDBAFunction.Configuration SUPPRESS_JUMPS
public static final LTL2LDBAFunction.Configuration EPSILON_TRANSITIONS
public static LTL2LDBAFunction.Configuration[] values()
for (LTL2LDBAFunction.Configuration c : LTL2LDBAFunction.Configuration.values()) System.out.println(c);
public static LTL2LDBAFunction.Configuration 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 null