[ 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