dk.brics.string.mlfa
Class UnaryTransition

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

public class UnaryTransition
extends MLFATransition

Unary operation transition.

Method Summary

MLFAState	getFinalState() Returns the final state.
UnaryOperation	getOperation() Returns the unary operation.
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

Method Detail

getFinalState

public MLFAState getFinalState()

Returns the final state.

getOperation

public UnaryOperation getOperation()

Returns the unary operation.

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