[ 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

Modes and Determinism

See Also

make_graph_symbolic / 3, graph_get_nodenames / 2