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

graph_node(+, ?) is nondet

See Also

graph_get_maxnode / 2