Package com.jgalgo.io

Class Digraph6GraphReader

java.lang.Object
com.jgalgo.io.Digraph6GraphReader
All Implemented Interfaces:
GraphReader<Integer,Integer>
public final class Digraph6GraphReader extends Object
Read a graph in 'digraph6' format.

'digraph6' is a format for storing directed graphs in a compact manner, using only printable ASCII characters. Files in these format have text type and contain one line per graph. It is suitable for small graphs, or large dense graphs. The format support graphs with vertices numbered 0..n-1 only, where n is the number of vertices, and edges numbered 0..m-1 only, where m is the number of edges. A digraph6 file contains a bit vector with n^2 bits representing the edges of the graph. All bytes of a digraph6 file are in the range 63..126, which are the printable ASCII characters, therefore a bit vector is represented by a sequence of bytes in which each byte encode only 6 bits.

The format does not support specifying the ids of the edges, therefore the reader will number them from 0 to m-1 in the order in the bit vector. The order, and the format details can be found here.

The 'digraph6' format support directed graphs only, for undirected graphs the 'graph6' format should be used.

Parallel edges are not supported by the format.

File with a graph in 'digraph6' format usually have the extension .d6.

Author:
Barak Ugav
See Also:

  • Constructor Details

    • Digraph6GraphReader

      public Digraph6GraphReader()
      Create a new reader.

  • Method Details

    • readGraph

      public IntGraph readGraph(Reader reader)
      Description copied from interface: GraphReader
      Read a graph from an I/O reader.
      Parameters:
      reader - an I/O reader that contain a graph description
      Returns:
      a new graph read from the reader

    • readGraph

      public IntGraph readGraph(File file)
      Description copied from interface: GraphReader
      Read a graph from a file.
      Parameters:
      file - a file that contain a graph description
      Returns:
      a new graph read from the file

    • readGraph

      public IntGraph readGraph(String path)
      Description copied from interface: GraphReader
      Read a graph from a file, given a path to it.
      Parameters:
      path - a path to a file that contain a graph description
      Returns:
      a new graph read from the file

    • readIntoBuilder

      public final IntGraphBuilder readIntoBuilder(Reader reader)
      Description copied from interface: GraphReader
      Read a graph from an I/O reader into a GraphBuilder.
      Specified by:
      readIntoBuilder in interface GraphReader<Integer,Integer>
      Parameters:
      reader - an I/O reader that contain a graph description
      Returns:
      a graph builder containing the vertices and edge read from the reader