dk.brics.string.mlfa
Class MLFAState

java.lang.Object
  extended by dk.brics.string.mlfa.MLFAState

public class MLFAState
extends Object

MLFA state.


Method Summary
 void addEdge(MLFATransition t, MLFAState dest)
          Adds outgoing edge.
 List<MLFAEdge> getEdges()
          Returns the list of outgoing edges of this state.
 int getKey()
          Returns the key of this nonterminal.
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

addEdge

public void addEdge(MLFATransition t,
                    MLFAState dest)
Adds outgoing edge.


getEdges

public List<MLFAEdge> getEdges()
Returns the list of outgoing edges of this state.


getKey

public int getKey()
Returns the key of this nonterminal.


toString

public String toString()
Overrides:
toString in class Object


Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.