Class GmlExporter<V,​E>

    • Constructor Detail

      • GmlExporter

        public GmlExporter()
        Creates a new GmlExporter object with integer id providers for the vertex identifiers.
      • GmlExporter

        public GmlExporter​(java.util.function.Function<V,​java.lang.String> vertexIdProvider)
        Constructs a new GmlExporter object with the given id providers.
        Parameters:
        vertexIdProvider - for generating vertex IDs. Must not be null.
    • Method Detail

      • exportGraph

        public void exportGraph​(Graph<V,​E> g,
                                java.io.Writer writer)
        Exports an graph into a plain text GML format.
        Specified by:
        exportGraph in interface GraphExporter<V,​E>
        Parameters:
        writer - the writer
        g - the graph
      • isParameter

        public boolean isParameter​(GmlExporter.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​(GmlExporter.Parameter p,
                                 boolean value)
        Set the value of a parameter of the exporter
        Parameters:
        p - the parameter
        value - the value to set