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

  • Field Details

  • Constructor Details

    • 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 Details

    • 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