public static enum Automaton.Property extends java.lang.Enum<Automaton.Property>
Enum Constant | Description |
---|---|
COLOURED |
|
COMPLETE |
|
DETERMINISTIC |
|
LIMIT_DETERMINISTIC |
|
NON_DETERMINISTIC |
|
TERMINAL |
|
WEAK |
Modifier and Type | Method | Description |
---|---|---|
static Automaton.Property |
valueOf(java.lang.String name) |
Returns the enum constant of this type with the specified name.
|
static Automaton.Property[] |
values() |
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Automaton.Property COMPLETE
public static final Automaton.Property DETERMINISTIC
public static final Automaton.Property LIMIT_DETERMINISTIC
public static final Automaton.Property NON_DETERMINISTIC
public static final Automaton.Property TERMINAL
public static final Automaton.Property WEAK
public static final Automaton.Property COLOURED
public static Automaton.Property[] values()
for (Automaton.Property c : Automaton.Property.values()) System.out.println(c);
public static Automaton.Property 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