[ 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

Modes and Determinism

See Also

graph_get_maxnode / 2