[ 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