Searched refs:transitionIndex (Results 1 – 1 of 1) sorted by relevance
440 int transitionIndex = d.addTransition(targetState, label); in addTransition() local441 Transition trans = d.getTransition(transitionIndex); in addTransition()