Lines Matching refs:aState
88 for (final State aState : aSet.GetStates()) in MinimizeDFA()
89 aTMap.put(aState, aSet); in MinimizeDFA()
98 for (final State aState : aPart.GetStates()) in MinimizeDFA()
99 aTMap.put(aState, aPart); in MinimizeDFA()
142 for (final State aState : aStates) in InitializeMap()
144 if (aState.IsAccepting()) in InitializeMap()
146 aAcceptingStates.AddState(aState); in InitializeMap()
147 aMap.put(aState, aAcceptingStates); in InitializeMap()
151 aNonAcceptingStates.AddState(aState); in InitializeMap()
152 aMap.put(aState, aNonAcceptingStates); in InitializeMap()
203 for (final State aState : aSet.GetStates()) in Split()
205 final Transition aTransition = GetTransition(aState, aElementName); in Split()
207 aForwardMap.put(aState, null); in Split()
209 aForwardMap.put(aState, aTMap.get(aTransition.GetEndState())); in Split()
242 final State aState, in GetTransition() argument
246 for (final Transition aCandidate : aState.GetTransitions()) in GetTransition()
262 for (final State aState : aSet.GetStates()) in CollectElementNames()
263 for (final Transition aTransition : aState.GetTransitions()) in CollectElementNames()
354 final State aState, in HasTransition() argument
357 for (final Transition aTransition : aState.GetTransitions()) in HasTransition()
370 for (final State aState : aStates.GetStates()) in DisplayStates()
372 aLog.printf(" %s %s\n", aState.GetFullname(), in DisplayStates()
373 aState.IsAccepting() ? "is accepting" : ""); in DisplayStates()
374 for (final Transition aTransition : aState.GetTransitions()) in DisplayStates()