[ library(graph_algorithms) | Reference Manual | Alphabetic Index ]
node_to_nodename(+Graph, +Node, -NodeName)
Retrieves the name of a node
- Graph
- a graph structure
- Node
- an integer node number
- NodeName
- ground data, usually node name
Description
Modes and Determinism
- node_to_nodename(+, +, -) is semidet
Fail Conditions
Fails if no node name information is available
See Also
nodes_to_nodenames / 3, nodename_to_node / 3, nodenames_to_nodes / 3