org.grinvin.io.list

Class ConjectureListLoader


public class ConjectureListLoader
extends java.lang.Object

Method Summary

static void
load(ConjectureList list, InputStream input)

Method Details

load

public static void load(ConjectureList list,
                        InputStream input)
            throws IOException