
graph_adjacent_edge(+Graph, +Node, ?Edge)

   Succeeds if Edge is an edge adjacent to Node in Graph

Arguments
   Graph               a graph structure
   Node                an integer node number
   Edge                an e/3 edge structure

Type
   library(graph_algorithms)

Description

    

Modes and Determinism
   graph_adjacent_edge(+, +, ?) is nondet

See Also
   graph_edge / 2, graph_get_adjacent_edges / 3
