[ library(graph_algorithms) | 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

graph_edge(+, ?) is nondet

See Also

graph_adjacent_edge / 3, graph_get_all_edges / 2