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