org.grinvin.io.list
Class GraphListLoader
java.lang.Object
org.grinvin.io.list.GraphListLoader
public final class GraphListLoader
extends java.lang.Object
Helper methods for loading lists of graphs and lists of invariants from
disk.
load
public static void load(GraphList list,
InputStream input,
SectionLoader sloader)
throws IOException
Load a graph list from an XML file.
list
- List to which the graphs are added. It may be necessary to clear the list before calling
this method.
GraphListSaver.save(GraphList,InvariantList,File)
load_1_0
public static void load_1_0(GraphList list,
InputStream input,
SectionLoader sloader)
throws IOException