[ library(graph_algorithms) | The ECLiPSe Libraries | 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
Resatisfiable
yes
See Also
graph_edge / 2, graph_get_adjacent_edges / 3