void (final EdgeType edgetype) { iterateReachability((node, mapSets) -> { // consider to be a support point for (StatEdge sucedge : node.getAllSuccessorEdges()) { if ((sucedge.getType().mask() & edgetype.mask()) != 0) { if (mapSets.containsKey(sucedge.getDestination().id)) { FastFixedSet<Integer> setReachability = mapSets.get(node.id); if (!Objects.equals(setReachability, mapSupportPoints.get(node.id))) { mapSupportPoints.put(node.id, setReachability); return true; } } } } return false; }, edgetype); }