Package | Description |
---|---|
de.uni_due.inf.ti.raven.data |
Classes to create, represent, manipulate data.
|
Modifier and Type | Method and Description |
---|---|
static FiniteAutomatonSignature.Alphabet |
FiniteAutomatonSignature.Alphabet.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static FiniteAutomatonSignature.Alphabet[] |
FiniteAutomatonSignature.Alphabet.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static FiniteAutomatonSignature |
FiniteAutomatonSignature.getSignature(FiniteAutomatonSignature.Alphabet alphabet)
Returns the
FiniteAutomatonSignature specified by alphabet . |