Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.io.list.ConjectureHistoryListSaver
public final class ConjectureHistoryListSaver
extends java.lang.Object
Method Summary | |
static void |
|
static void |
|
public static void save(ConjectureHistoryList history, SectionSaver ssaver) throws IOException
Save a list of conjecture history entries as a directory with an XML file.
public static void saveIntoWorkspace(ConjectureHistoryList list, SectionSaver ssaver) throws IOException