@Override
	public void set(AddressSetView addressSet) {
		checkDeleted();
		lock.acquire();
		try {
			clear();
			add(addressSet);
			program.setChanged(ProgramEvent.ADDRESS_PROPERTY_MAP_CHANGED, null, mapName);
		}
		finally {
			lock.release();
		}
	}
AddressSetPropertyMap that uses a RangeMapDB to maintain a set of addresses.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/util/AddressSetPropertyMapDB.java