[ 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