org.grinvin.io.list

Class ConjectureHistoryListSaver


public final class ConjectureHistoryListSaver
extends java.lang.Object

Helper methods for saving the conjecture history to disk.

Method Summary

static void
save(ConjectureHistoryList history, SectionSaver ssaver)
Save a list of conjecture history entries as a directory with an XML file.
static void
saveIntoWorkspace(ConjectureHistoryList list, SectionSaver ssaver)

Method Details

save

public static void save(ConjectureHistoryList history,
                        SectionSaver ssaver)
            throws IOException
Save a list of conjecture history entries as a directory with an XML file.

saveIntoWorkspace

public static void saveIntoWorkspace(ConjectureHistoryList list,
                                     SectionSaver ssaver)
            throws IOException