Searched refs:syncToFile (Results 1 – 2 of 2) sorted by relevance
290 dh.syncToFile(newDhPath); in initialize()636 dh.syncToFile(dhPath); in solve()
498 public void syncToFile(String path) throws IOException in syncToFile() method in DecisionHistory