org.grinvin.io.list

Class ConjectureHistoryListLoader


public class ConjectureHistoryListLoader
extends java.lang.Object

Method Summary

static void
load(ConjectureHistoryList list, InputStream input, SectionLoader sloader)

Method Details

load

public static void load(ConjectureHistoryList list,
                        InputStream input,
                        SectionLoader sloader)
            throws IOException