boolean (Int2ObjectMap<DFAType> dominator, Int2ObjectMap<DFAType> dominated) { for (Int2ObjectMap.Entry<DFAType> dominatedEntry : dominated.int2ObjectEntrySet()) { DFAType dominatingType = dominator.get(dominatedEntry.getIntKey()); if (dominatingType == null || !DFAType.dominates(dominatingType, dominatedEntry.getValue())) { return false; } } return true; }