Module org.jgrapht.io

Package org.jgrapht.nio.dimacs

Class DIMACSExporter<V,E>

java.lang.Object

org.jgrapht.nio.BaseExporter<V,E>

org.jgrapht.nio.dimacs.DIMACSExporter<V,E>

Type Parameters:

V - the graph vertex type

E - the graph edge type

All Implemented Interfaces:

GraphExporter<V,E>

public class DIMACSExporter<V,E>
extends BaseExporter<V,E>
implements GraphExporter<V,E>

Exports a graph into DIMACS format.

For a description of the format see http://dimacs.rutgers.edu/Challenges. Note that there are a lot of different formats based on each different challenge, see DIMACSFormat for the supported formats. The exporter uses the DIMACSFormat.MAX_CLIQUE by default.

Author:

Dimitrios Michail

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DIMACSExporter.Parameter	Parameters that affect the behavior of the DIMACSExporter exporter.

Field Summary

Fields

Modifier and Type	Field	Description
static DIMACSFormat	DEFAULT_DIMACS_FORMAT	The default format used by the exporter.

Fields inherited from class org.jgrapht.nio.BaseExporter

edgeAttributeProvider, edgeIdProvider, graphAttributeProvider, graphIdProvider, vertexAttributeProvider, vertexIdProvider

Constructor Summary

Constructors

Constructor	Description
DIMACSExporter()	Constructs a new exporter.
DIMACSExporter(java.util.function.Function<V,java.lang.String> vertexIdProvider)	Constructs a new exporter with a given vertex ID provider.
DIMACSExporter(java.util.function.Function<V,java.lang.String> vertexIdProvider, DIMACSFormat format)	Constructs a new exporter with a given vertex ID provider.

Method Summary

Modifier and Type	Method	Description
void	exportGraph(Graph<V,E> g, java.io.Writer writer)	Export a graph using the given Writer.
DIMACSFormat	getFormat()	Get the format of the exporter
boolean	isParameter(DIMACSExporter.Parameter p)	Return if a particular parameter of the exporter is enabled
void	setFormat(DIMACSFormat format)	Set the format of the exporter
void	setParameter(DIMACSExporter.Parameter p, boolean value)	Set the value of a parameter of the exporter

Methods inherited from class org.jgrapht.nio.BaseExporter

getEdgeAttribute, getEdgeAttributeProvider, getEdgeAttributes, getEdgeId, getEdgeIdProvider, getGraphAttribute, getGraphAttributeProvider, getGraphId, getGraphIdProvider, getVertexAttribute, getVertexAttributeProvider, getVertexAttributes, getVertexId, getVertexIdProvider, setEdgeAttributeProvider, setEdgeIdProvider, setGraphAttributeProvider, setGraphIdProvider, setVertexAttributeProvider, setVertexIdProvider

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jgrapht.nio.GraphExporter

exportGraph, exportGraph

Field Detail

DEFAULT_DIMACS_FORMAT

public static final DIMACSFormat DEFAULT_DIMACS_FORMAT

The default format used by the exporter.

Constructor Detail

DIMACSExporter

public DIMACSExporter()

Constructs a new exporter.

DIMACSExporter

public DIMACSExporter(java.util.function.Function<V,java.lang.String> vertexIdProvider)

Constructs a new exporter with a given vertex ID provider.

Parameters:

vertexIdProvider - for generating vertex IDs. Must not be null.

DIMACSExporter

public DIMACSExporter(java.util.function.Function<V,java.lang.String> vertexIdProvider,
                      DIMACSFormat format)

Constructs a new exporter with a given vertex ID provider.

Parameters:

vertexIdProvider - for generating vertex IDs. Must not be null.

format - the format to use

Method Detail

exportGraph

public void exportGraph(Graph<V,E> g,
                        java.io.Writer writer)

Description copied from interface: GraphExporter

Export a graph using the given Writer.

It is the callers responsibility to ensure the Writer is closed after this method returned.

Specified by:

exportGraph in interface GraphExporter<V,E>

Parameters:

g - the graph to export

writer - the output writer

isParameter

public boolean isParameter(DIMACSExporter.Parameter p)

Return if a particular parameter of the exporter is enabled

Parameters:

p - the parameter

Returns:

true if the parameter is set, false otherwise

setParameter

public void setParameter(DIMACSExporter.Parameter p,
                         boolean value)

Set the value of a parameter of the exporter

Parameters:

p - the parameter

value - the value to set

getFormat

public DIMACSFormat getFormat()

Get the format of the exporter

Returns:

the format of the exporter

setFormat

public void setFormat(DIMACSFormat format)

Set the format of the exporter

Parameters:

format - the format to use