Package jflex.dfa

Class DeprecatedDfa

java.lang.Object
jflex.dfa.DFA
jflex.dfa.DeprecatedDfa

@Deprecated public class DeprecatedDfa extends DFA
Deprecated.
Deprecated DFA class, only used for testing.
  • Method Details

    • old_minimize

      @Deprecated public boolean[][] old_minimize()
      Deprecated.
      Use DFA.minimize() instead.
      Much simpler, but slower and less memory efficient minimization algorithm than DFA.minimize().

      This implementation is only useful for testing.

      Returns:
      the equivalence relation on states.
    • copyOf

      public static DeprecatedDfa copyOf(DFA dfa)
      Deprecated.