Lines Matching refs:aSet
80 for (final StateSet aSet : aP) in MinimizeDFA()
82 final Iterable<StateSet> aParts = Split(aSet, aP, aPMap); in MinimizeDFA()
86 assert( ! aSet.IsEmpty()); in MinimizeDFA()
87 aT.add(aSet); in MinimizeDFA()
88 for (final State aState : aSet.GetStates()) in MinimizeDFA()
89 aTMap.put(aState, aSet); in MinimizeDFA()
118 for (final StateSet aSet : aT) in MinimizeDFA()
119 aLog.printf(" %s\n", aSet.toString()); in MinimizeDFA()
136 final Set<StateSet> aSet, in InitializeMap() argument
157 aSet.add(aAcceptingStates); in InitializeMap()
159 aSet.add(aNonAcceptingStates); in InitializeMap()
166 final StateSet aSet, in Split() argument
170 if (aSet.GetStateCount() == 1) in Split()
173 final Set<QualifiedName> aElements = CollectElementNames(aSet); in Split()
176 final Collection<StateSet> aPartitions = Split(aSet, aT, aTMap, aElementName); in Split()
194 final StateSet aSet, in Split() argument
203 for (final State aState : aSet.GetStates()) in Split()
259 private static Set<QualifiedName> CollectElementNames (final StateSet aSet) in CollectElementNames() argument
262 for (final State aState : aSet.GetStates()) in CollectElementNames()
306 for (final StateSet aSet : aP) in CreateNewStates()
309 for (final State aOldState : aSet.GetStates()) in CreateNewStates()
318 for (final StateSet aSet : aP) in CreateNewStates()
320 final State aOldStartState = aSet.GetStates().iterator().next(); in CreateNewStates()