dk.brics.string.mlfa
Class MLFAState

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