[ library(graph_algorithms) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

make_sub_graph(+Graph, ++Nodes, -SubGraph)

Creates a subgraph (projection on nodes) of a given graph
Graph
a graph structure
Nodes
a list of node numbers
SubGraph
will be bound to a graph structure

Description

Creates a sub-graph SubGraph of the original graph Graph. SubGraph has the same set of nodes as Graph, but only those edges that begin and end in the specified set of nodes Nodes.

Modes and Determinism

See Also

is_sub_graph / 2