
graph_edge(+Graph, ?Edge)

   Succeeds if Edge is an edge in graph

Arguments
   Graph               a graph structure
   Edge                an e/3 edge structure

Type
   library(graph_algorithms)

Description

    

Modes and Determinism
   graph_edge(+, ?) is nondet

See Also
   graph_adjacent_edge / 3, graph_get_all_edges / 2
