Serialized Form

Package dk.brics.automaton

• Class dk.brics.automaton.Automaton extends java.lang.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

      java.lang.String singleton

      Singleton string. Null if not applicable.

• Class dk.brics.automaton.RunAutomaton extends java.lang.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 java.lang.Object implements Serializable

  serialVersionUID:

  30001L

  • Serialized Fields

    • accept

      boolean accept

    • transitions

      java.util.Set<E> transitions

    • number

      int number

    • id

      int id

• Class dk.brics.automaton.Transition extends java.lang.Object implements Serializable

  serialVersionUID:

  40001L

  • Serialized Fields

    • min

      char min

    • max

      char max

    • to

      State to