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 ConjectureListSaver

public class ConjectureListSaver
extends java.lang.Object

Method Summary

static void
saveIntoWorkspace(ConjectureList list, SectionSaver ssaver)

Method Details

saveIntoWorkspace

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

Overview Package Tree Index Deprecated About