
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

    

Resatisfiable
   yes

See Also
   graph_get_maxnode / 2
