
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

    

Resatisfiable
   yes

See Also
   graph_adjacent_edge / 3, graph_get_all_edges / 2
