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