[ library(graph_algorithms) | Reference Manual | Alphabetic Index ]
nodenames_to_nodes(+Graph, +NodeNames, -Nodes)
Returns the names corresponding to a list of nodes
- Graph
- a graph structure
- NodeNames
- a list of ground data, usually node names
- Nodes
- a list of integer node numbers
Description
Modes and Determinism
- nodenames_to_nodes(+, +, -) is semidet
Fail Conditions
Fails if no node name information is available
See Also
node_to_nodename / 3, nodename_to_node / 3, nodes_to_nodenames / 3