Interface EdgeNameProvider<E>

    • Method Detail

      • getEdgeName

        java.lang.String getEdgeName​(E edge)
        Returns a unique name for an edge. This is useful when exporting a graph, as it ensures that all edges are assigned simple, consistent names.
        Parameters:
        edge - the edge to be named
        Returns:
        the name of the edge