[ library(graph_algorithms) | 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

- make_sub_graph(+, ++, -) is det

## See Also

is_sub_graph / 2