@Override
	public void setOptions(ToolOptions options) {
		this.options = options.copy();
	}
An address correlator that may use the {@link VTHashedFunctionAddressCorrelation}.
Ghidra/Features/VersionTracking/src/main/java/ghidra/feature/vt/api/correlator/address/VTHashedFunctionAddressCorrelator.java