JFlex
Class StatePairList

java.lang.Object
  extended by JFlex.StatePairList

public final class StatePairList
extends java.lang.Object

A list of pairs of states. Used in DFA minimization.


Constructor Summary
StatePairList()
           
 
Method Summary
 void addPair(int i, int j)
           
 void markAll(StatePairList[][] list, boolean[][] equiv)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StatePairList

public StatePairList()
Method Detail

addPair

public void addPair(int i,
                    int j)

markAll

public void markAll(StatePairList[][] list,
                    boolean[][] equiv)