
make_undirected_graph(+DirectedGraph, -UndirectedGraph)

   Creates an undirected from a directed graph

Arguments
   DirectedGraph       a graph structure
   UndirectedGraph     will be bound to a graph structure

Type
   library(graph_algorithms)

Description

    Creates an undirected graph from a directed graph by adding reverse
    edges for every existing edge. Moreover, all loops (edges from S to S)
    are removed from the undirected graph.
    

Modes and Determinism
   make_undirected_graph(+, -) is det

See Also
   graph_is_bidirected / 1
