[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

nodes_to_nodenames(+Graph, +Nodes, -NodeNames)

Returns the names corresponding to a list of nodes
Graph
a graph structure
Nodes
a list of integer node numbers
NodeNames
a list of ground data, usually node names

Description

Modes and Determinism

Fail Conditions

Fails if no node name information is available

See Also

node_to_nodename / 3, nodename_to_node / 3, nodenames_to_nodes / 3