Package jflex

Class StatePairList


  • public final class StatePairList
    extends java.lang.Object
    A list of pairs of states. Used in DFA minimization.
    Version:
    JFlex 1.7.0
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int num  
      (package private) int[] p  
      (package private) int[] q  
    • Constructor Summary

      Constructors 
      Constructor Description
      StatePairList()
      Constructor for StatePairList.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addPair​(int i, int j)
      addPair.
      private void increaseSize​(int length)  
      void markAll​(StatePairList[][] list, boolean[][] equiv)
      markAll.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • p

        int[] p
      • q

        int[] q
      • num

        int num
    • 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.
      • increaseSize

        private void increaseSize​(int length)