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.

Version:

JFlex 1.4.1, $Revision: 2.4 $, $Date: 2004/11/06 23:03:30 $

Author:

Gerwin Klein

Field Summary

(package private) int	num
(package private) int[]	p
(package private) int[]	q

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

Field Detail

p

int[] p

q

int[] q

num

int num

Constructor Detail

StatePairList

public StatePairList()

Method Detail

addPair

public void addPair(int i,
                    int j)

markAll

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