JFlex
Class StatePairList

java.lang.Object
  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)