@Override
	protected Set<AttributedVertex> getVertices(AddressSetView selection) {
		Set<AttributedVertex> vertices = new HashSet<>();
		AddressFactory addrFactory = program.getAddressFactory();
		for (AttributedVertex v : graphDisplay.getGraph().vertexSet()) {
			if (v.hasAttribute(BSimFeatureGraphType.OP_ADDRESS)) {
				Address opAddr =
					addrFactory.getAddress(v.getAttribute(BSimFeatureGraphType.OP_ADDRESS));
				if (selection.contains(opAddr)) {
					vertices.add(v);
				}
			}
			if (v.hasAttribute(BSimFeatureGraphType.BLOCK_START) &&
				v.hasAttribute(BSimFeatureGraphType.BLOCK_STOP)) {
				Address start =
					addrFactory.getAddress(v.getAttribute(BSimFeatureGraphType.BLOCK_START));
				Address stop =
					addrFactory.getAddress(v.getAttribute(BSimFeatureGraphType.BLOCK_STOP));
				if (selection.intersects(start, stop)) {
					vertices.add(v);
				}
			}
		}
		return vertices;
	}
Creates a BSimFeatureGraphDisplayListener used to translate between vertices of a BSim 
feature graph and Ghidra addresses
@param tool tool containing the bsim feature visualizer plugin
@param program source of BSim features
@param display graph display for showing the feature graphs
Ghidra/Features/BSimFeatureVisualizer/src/main/java/ghidra/bsfv/BsfvGraphDisplayListener.java