public void delete(AddressSetView view) {
		List<KeyRange> list = addrMap.getKeyRanges(view, false, false);
		Iterator<KeyRange> it = list.iterator();
		while (it.hasNext()) {
			KeyRange kr = it.next();
			deleteRange(kr.minKey, kr.maxKey);
		}
	}
REmoves all the addresses in the given address set from this set.
@param view the set of addresses to remove.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/map/NormalizedAddressSet.java