dk.brics.string.mlfa
Class MLFAEdge

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



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