files[i] = filesList.get(i);
}
if (options.has("ranking")) {
System.out.println("Generating binary files for ranking data sets...");
new RankingRaw2BinConvertor().convert(folder, files);
} else {
System.out.println("Generating binary files...");
new Raw2BinConvertor().convert(folder, files);
}
}