public void compressNext(ReadData data) throws IOException { dictionary.learn(data); reads++; if (reads % 100000 == 0) { System.err.println("Reads processed: " + reads); } }
private void save() throws IOException { dictionary.writeDictionaryToFile(new FileOutputStream("tree.out")); }