Lines Matching refs:Map
28 import java.util.Map;
29 import java.util.Map.Entry;
65 Map<State,StateSet> aTMap = new HashMap<>(); in MinimizeDFA()
66 Map<State,StateSet> aPMap = new HashMap<>(); in MinimizeDFA()
137 final Map<State,StateSet> aMap, in InitializeMap()
168 final Map<State,StateSet> aTMap) in Split()
196 final Map<State,StateSet> aTMap, in Split()
202 final Map<State,StateSet> aForwardMap = new HashMap<>(); in Split()
223 final Map<StateSet,StateSet> aReverseMap = new HashMap<>(); in Split()
296 final Map<State,StateSet> aPMap, in CreateNewStates()
305 final Map<State,State> aOldStateToNewStateMap = new TreeMap<>(); in CreateNewStates()