public int getNumFilteredHits() { return idpInput.getNumFilteredTargetHits(); }
public int getNumHits() { return idpInput.getNumTargetHits(); }