graphloaders

Class DIMACSLoader

java.lang.Object

graphloaders.DIMACSLoader

public class DIMACSLoader
extends java.lang.Object

Contains static methods for loading graphs from DIMACS files

Constructor Summary

Constructors

Constructor and Description
DIMACSLoader()

Method Summary

Modifier and Type	Method and Description
static <VertexType,EdgeType> void	createFromDIMACS(GraphLibrary<VertexType,EdgeType> targetGraph, java.io.File file, Progress progress) Loads the given DIMACS file and creates respective vertices and edges in the given target graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DIMACSLoader

public DIMACSLoader()

Method Detail

createFromDIMACS

public static <VertexType,EdgeType> void createFromDIMACS(GraphLibrary<VertexType,EdgeType> targetGraph,
                                                          java.io.File file,
                                                          Progress progress)
                                                   throws ParseDIMACSException,
                                                          java.io.IOException

Loads the given DIMACS file and creates respective vertices and edges in the given target graph.

Parameters:

targetGraph - the graph to create the vertices and edges according to the DIMACS file content

file - the DIMCAS file to load

progress - a callback to inform about the loading progress. Can be null as well

Throws:

ParseDIMACSException

java.io.IOException