[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
graph_set_nodenames(+Graph, ++NodeNameArray)
Add node names to an existing graph
- Graph
- a graph structure
- NodeNameArray
- array of ground data, usually node names
Description
See Also
make_graph_symbolic / 3, graph_get_nodenames / 2