dk.brics.string.mlfa
Class AutomatonTransition

java.lang.Object
  dk.brics.string.mlfa.MLFATransition
      dk.brics.string.mlfa.AutomatonTransition

public class AutomatonTransition
extends MLFATransition

Automaton transition.

Constructor Summary

AutomatonTransition(Automaton a)
Construcs a new automaton transition.

Method Summary

Automaton	getAutomaton() Returns the automaton of this transition.
String	toString()
<T> T	visitBy(TransitionVisitor<T> v) Visits this transition with the given visitor.

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonTransition

public AutomatonTransition(Automaton a)

Construcs a new automaton transition.

Method Detail

getAutomaton

public Automaton getAutomaton()

Returns the automaton of this transition.

toString

public String toString()

Overrides:

toString in class Object

visitBy

public <T> T visitBy(TransitionVisitor<T> v)

Description copied from class: MLFATransition

Visits this transition with the given visitor.

Specified by:

visitBy in class MLFATransition