Class InfoDFA

  extended byDFA
      extended byInfoDFA

public class InfoDFA
extends DFA

An extension of the class DFA allowing to store an information in a state as an integer and to identify a state as being the sink (used for LR analysis).

Constructor Summary
InfoDFA(int n, Alphabet a)
Methods inherited from class DFA
main, minimize, minimize, next, quotient, quotient, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail


public InfoDFA(int n,
               Alphabet a)