dk.brics.string.mlfa
Class IdentityTransition

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

public class IdentityTransition
extends MLFATransition

Identity transition.

Constructor Summary

IdentityTransition(MLFAState s, MLFAState f)
Constructs a new identity transition.

Method Summary

MLFAState	getFinalState() Returns the final state.
MLFAState	getStartState() Returns the start state.
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

IdentityTransition

public IdentityTransition(MLFAState s,
                          MLFAState f)

Constructs a new identity transition.

Method Detail

getFinalState

public MLFAState getFinalState()

Returns the final state.

getStartState

public MLFAState getStartState()

Returns the start state.

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