Home
last modified time | relevance | path

Searched refs:gzipF (Results 1 – 1 of 1) sorted by relevance

/dports/misc/elki/elki-release0.7.1-1166-gfb1fffdf3/elki/src/main/java/de/lmu/ifi/dbs/elki/result/
H A DResultWriter.java178 Flag gzipF = new Flag(GZIP_OUTPUT_ID); in makeOptions() local
179 if(config.grab(gzipF)) { in makeOptions()
180 gzip = gzipF.getValue(); in makeOptions()