Serialized Form

Package dk.brics.automaton

Class dk.brics.automaton.Automaton extends Object implements Serializable

serialVersionUID:

10001L

Serialized Fields

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

Hash code. Recomputed by Automaton.minimize().

singleton

String singleton

Singleton string. Null if not applicable.

Class dk.brics.automaton.RunAutomaton extends Object implements Serializable

serialVersionUID:

20001L

Serialized Fields

size

int size

accept

boolean[] accept

initial

int initial

transitions

int[] transitions

points

char[] points

classmap

int[] classmap

Class dk.brics.automaton.State extends Object implements Serializable

serialVersionUID:

30001L

Serialized Fields

accept

boolean accept

transitions

Set<E> transitions

number

int number

id

int id

Class dk.brics.automaton.Transition extends Object implements Serializable

serialVersionUID:

40001L

Serialized Fields

min

char min

max

char max

to

State to