Package jflex.dfa

Class StatePairList

java.lang.Object
jflex.dfa.StatePairList

public final class StatePairList extends Object
A list of pairs of states. Used in old DFA minimization.
Version:
JFlex 1.8.2
  • Field Details

    • p

      private int[] p
    • q

      private int[] q
    • num

      private int num
  • Constructor Details

    • StatePairList

      public StatePairList()
      Constructor for StatePairList.
  • Method Details

    • addPair

      public void addPair(int i, int j)
      addPair.
      Parameters:
      i - a int.
      j - a int.
    • markAll

      public void markAll(StatePairList[][] list, boolean[][] equiv)
      markAll.
      Parameters:
      list - an array of StatePairList objects.
      equiv - an array of boolean.
    • increaseSize

      private void increaseSize(int length)