Package jflex.dfa

Class StatePairList


  • public final class StatePairList
    extends Object
    A list of pairs of states. Used in old DFA minimization.
    Version:
    JFlex 1.8.1
    Author:
    Gerwin Klein
    • Constructor Detail

      • StatePairList

        public StatePairList()
        Constructor for StatePairList.
    • Method Detail

      • 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.