Class GraphEvent.Edge<V,​E>

  • Enclosing class:
    GraphEvent<V,​E>

    public static class GraphEvent.Edge<V,​E>
    extends GraphEvent<V,​E>
    An event type pertaining to graph edges.
    • Field Detail

      • edge

        protected E edge
    • Constructor Detail

      • Edge

        public Edge​(Graph<V,​E> source,
                    GraphEvent.Type type,
                    E edge)
        Creates a graph event for the specified graph, edge, and type.
    • Method Detail

      • getEdge

        public E getEdge()
        Retrieves the edge associated with this event.
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object