[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

graph_edge(+Graph, ?Edge)

Succeeds if Edge is an edge in graph
Graph
a graph structure
Edge
an e/3 edge structure

Description

Modes and Determinism

See Also

graph_adjacent_edge / 3, graph_get_all_edges / 2