
nodes_to_nodenames(+Graph, +Nodes, -NodeNames)

   Returns the names corresponding to a list of nodes

Arguments
   Graph               a graph structure
   Nodes               a list of integer node numbers
   NodeNames           a list of ground data, usually node names

Type
   library(graph_algorithms)

Description

    

Modes and Determinism
   nodes_to_nodenames(+, +, -) is semidet

Fail Conditions
   Fails if no node name information is available

See Also
   node_to_nodename / 3, nodename_to_node / 3, nodenames_to_nodes / 3
