202203204205206207208209210211212
out.close(); IndexInput in = dir.openInput("fst", IOContext.DEFAULT); fst = new FST<>(in, outputs); in.close(); } else { dir.deleteFile("fst"); } } } // Build FST w/ PositiveIntOutputs and stop when FST
286287288289290291292293294295296
out.close(); IndexInput in = dir.openInput("fst", IOContext.DEFAULT); fst = new FST<>(in, outputs); in.close(); } else { dir.deleteFile("fst"); } } } } dir.close();