final double mid = head.getRange().getCeil(); final double ceil = succ.getRange().getCeil(); final double succ_range = succ.getRange().getWidth(); final double head_range = head.getRange().getWidth(); final double head_left_fraction = (ceil - floor) / head_range; final double head_right_fraction = 1 - head_left_fraction; final RangeWithCount pred = result.get(i); final RangeWithCount succ = result.get(i + 1); final double pred_range = pred.getRange().getWidth(); final double succ_range = succ.getRange().getWidth();
final double mid = head.getRange().getCeil(); final double ceil = succ.getRange().getCeil(); final double succ_range = succ.getRange().getWidth(); final double head_range = head.getRange().getWidth(); final double head_left_fraction = (ceil - floor) / head_range; final double head_right_fraction = 1 - head_left_fraction; final RangeWithCount pred = result.get(i); final RangeWithCount succ = result.get(i + 1); final double pred_range = pred.getRange().getWidth(); final double succ_range = succ.getRange().getWidth();