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