[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
graph_node(+Graph, ?Node)
Succeeds if Node is a node of the graph
- Graph
- a graph structure
- Node
- an integer node number
Description
Resatisfiable
yes
See Also
graph_get_maxnode / 2