Searched refs:oldTransition (Results 1 – 1 of 1) sorted by relevance
418 Transition oldTransition = targetToLabelMap.get(tI); in addTransition() local419 if ( oldTransition!=null ) { in addTransition()425 oldTransition.label = new Label(Label.EOT); in addTransition()429 if ( oldTransition.label.getAtom()!=Label.EOT ) { in addTransition()431 oldTransition.label.add(label); in addTransition()