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