org.sablecc.sablecc
Class DFA

java.lang.Object
  extended by org.sablecc.sablecc.DFA

public class DFA
extends java.lang.Object


Nested Class Summary
static class DFA.State
           
static class DFA.Transition
           
 
Field Summary
private  IntSet[] eclosures
           
 java.util.Hashtable finder
           
 NFA nfa
           
 java.util.Vector states
           
 
Constructor Summary
DFA(NFA nfa)
           
 
Method Summary
private  void computeEClosures()
           
private  void construct()
           
private  IntSet eclosure(int state)
           
private  void eclosure(int state, IntSet nfaStates)
           
private  IntSet eclosure(IntSet nfaStates)
           
private  int match(int st1, int tr, int st2)
           
private  void optimize()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

nfa

public NFA nfa

states

public final java.util.Vector states

finder

public final java.util.Hashtable finder

eclosures

private IntSet[] eclosures
Constructor Detail

DFA

public DFA(NFA nfa)
Method Detail

optimize

private void optimize()

match

private int match(int st1,
                  int tr,
                  int st2)

construct

private void construct()

computeEClosures

private void computeEClosures()

eclosure

private IntSet eclosure(int state)

eclosure

private void eclosure(int state,
                      IntSet nfaStates)

eclosure

private IntSet eclosure(IntSet nfaStates)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object