-
initial
State initial
Initial state of this automaton.
-
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
-
singleton
java.lang.String singleton
Singleton string. Null if not applicable.