@Override public ResultEstimationType numResultEstimation() { return iterator.numResultEstimation(); }
@Override public ResultEstimationType numResultEstimation() { return iterator.numResultEstimation(); }
if(it.numResultEstimation()==ResultEstimationType.EXACT) { count = it.estimatedNumResults(); } else {