public final class TransitionRecord extends Object
State
source
int
transIdx
TransitionRecord(State source, int transIdx)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final State source
public final int transIdx
public TransitionRecord(State source, int transIdx)
Copyright © 2015. All rights reserved.