[ library(graph_algorithms) | Reference Manual | Alphabetic Index ]
graph_adjacent_edge(+Graph, +Node, ?Edge)
Succeeds if Edge is an edge adjacent to Node in Graph
- Graph
- a graph structure
- Node
- an integer node number
- Edge
- an e/3 edge structure
Description
Modes and Determinism
- graph_adjacent_edge(+, +, ?) is nondet
See Also
graph_edge / 2, graph_get_adjacent_edges / 3