Overview Package Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

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

Overview Package Tree Index Deprecated About