Package | Description |
---|---|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
Modifier and Type | Method and Description |
---|---|
static Automaton.Type[] |
Automaton.Type.getBasicTypes()
Returns the automaton types of "basic" automata.
|
Automaton.Type |
Automaton.getType() |
static Automaton.Type |
Automaton.Type.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Automaton.Type[] |
Automaton.Type.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|