@Override
	public boolean contains(Address addr) {
		checkDeleted();
		lock.acquire();
		try {
			return propertyMap.getValue(addr) != null;
		}
		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