
graph_node(+Graph, ?Node)

   Succeeds if Node is a node of the graph

Arguments
   Graph               a graph structure
   Node                an integer node number

Type
   library(graph_algorithms)

Description

    

Modes and Determinism
   graph_node(+, ?) is nondet

See Also
   graph_get_maxnode / 2
