@Override
	public AddressSetView intersectViewKnown(AddressSetView guestView, boolean useFullSpans) {
		TraceMemoryOperations ops = getMemoryOps(false);
		if (ops == null) {
			return new AddressSet();
		}

		AddressSetView hostView = toOverlay(platform.mapGuestToHost(guestView));
		AddressSet hostKnown = new AddressSet();
		if (useFullSpans) {
			for (Lifespan span : viewport.getOrderedSpans()) {
				hostKnown.add(ops.getAddressesWithState(span, hostView,
					st -> st != null && st != TraceMemoryState.UNKNOWN));
			}
		}
		else {
			for (long snap : viewport.getOrderedSnaps()) {
				hostKnown.add(ops.getAddressesWithState(snap, hostView,
					st -> st != null && st != TraceMemoryState.UNKNOWN));
			}
		}
		AddressSetView hostResult =
			TraceRegisterUtils.getPhysicalSet(hostView.intersect(hostKnown));
		return platform.mapHostToGuest(hostResult);
	}
@see #toOverlay(Address)
@param set
@return
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/pcode/exec/trace/data/AbstractPcodeTraceDataAccess.java