Class Graphs.UnmodifiableDirectedGraph<V,​E>

    • Constructor Detail

      • UnmodifiableDirectedGraph

        private UnmodifiableDirectedGraph​(DirectedGraph<V,​E> delegate)
    • Method Detail

      • getDest

        public V getDest​(E directed_edge)
        Description copied from interface: Graph
        If directed_edge is a directed edge in this graph, returns the destination; otherwise returns null. The destination of a directed edge d is defined to be the vertex incident to d for which d is an incoming edge. directed_edge is guaranteed to be a directed edge if its EdgeType is DIRECTED.
        Specified by:
        getDest in interface Graph<V,​E>
        Specified by:
        getDest in interface Hypergraph<V,​E>
        Overrides:
        getDest in class Graphs.UnmodifiableAbstractGraph<V,​E>
        Parameters:
        directed_edge - the edge whose destination is to be returned
        Returns:
        the destination of directed_edge if it is a directed edge in this graph, or null otherwise
        See Also:
        Graph.getDest(java.lang.Object)
      • getSource

        public V getSource​(E directed_edge)
        Description copied from interface: Graph
        If directed_edge is a directed edge in this graph, returns the source; otherwise returns null. The source of a directed edge d is defined to be the vertex for which d is an outgoing edge. directed_edge is guaranteed to be a directed edge if its EdgeType is DIRECTED.
        Specified by:
        getSource in interface Graph<V,​E>
        Specified by:
        getSource in interface Hypergraph<V,​E>
        Overrides:
        getSource in class Graphs.UnmodifiableAbstractGraph<V,​E>
        Parameters:
        directed_edge - the edge whose source is to be returned
        Returns:
        the source of directed_edge if it is a directed edge in this graph, or null otherwise
        See Also:
        Graph.getSource(java.lang.Object)