hub / github.com/cs0x7f/min2phase / saveTo

Method saveTo

src/Tools.java:120–153 · view source on GitHub ↗

cache tables (move tables, pruning table, etc.), and read it while initializing. @param out Where to cache tables. @see cs.min2phase.Tools#initFrom(java.io.DataInput)

(DataOutput out)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

mainMethod · 0.95

Calls 3

initMethod · 0.95

writeMethod · 0.95

Tested by 1

mainMethod · 0.76