public final class Transition extends java.lang.Object
Action
getAction()
Guard
getGuard()
State
getNextState()
java.lang.String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public java.lang.String toString()
toString
java.lang.Object
public Action getAction()
public Guard getGuard()
public State getNextState()