Serialized Form
-
Package dk.brics.automaton
-
Class dk.brics.automaton.Automaton extends Object implements Serializable
- serialVersionUID:
- 10001L
-
Serialized Fields
-
deterministic
boolean deterministic
If true, then this automaton is definitely deterministic (i.e., there are no choices for any run, but a run may crash). -
hash_code
int hash_code
Hash code. Recomputed byAutomaton.minimize()
. -
initial
State initial
Initial state of this automaton. -
singleton
String singleton
Singleton string. Null if not applicable.
-
-
Class dk.brics.automaton.RunAutomaton extends Object implements Serializable
- serialVersionUID:
- 20001L
-
Serialized Fields
-
accept
boolean[] accept
-
classmap
int[] classmap
-
initial
int initial
-
points
char[] points
-
size
int size
-
transitions
int[] transitions
-
-
Class dk.brics.automaton.State extends Object implements Serializable
- serialVersionUID:
- 30001L
-
Serialized Fields
-
accept
boolean accept
-
id
int id
-
number
int number
-
transitions
Set<Transition> transitions
-
-
Class dk.brics.automaton.Transition extends Object implements Serializable
- serialVersionUID:
- 40001L
-
Serialized Fields
-
max
char max
-
min
char min
-
to
State to
-
-