dk.brics.string.mlfa
Class MLFAEdge

java.lang.Object
  dk.brics.string.mlfa.MLFAEdge

public class MLFAEdge
extends Object

Automaton edge (pair of transition and destination state).

Constructor Summary

MLFAEdge(MLFATransition t, MLFAState dest)
Constructs a new edge.

Method Summary

MLFAState	getDestination() Retuerns the destination of this edge.
MLFATransition	getTransition() Retuerns the transition of this edge.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MLFAEdge

public MLFAEdge(MLFATransition t,
                MLFAState dest)

Constructs a new edge.

Method Detail

getDestination

public MLFAState getDestination()

Retuerns the destination of this edge.

getTransition

public MLFATransition getTransition()

Retuerns the transition of this edge.