undgraph_add_edges/4¶
undgraph_add_edges(+ Graph, + Edges, - NewGraph)*
Unify NewGraph with a new graph obtained by adding the list of edges Edges to the graph Graph.
undgraph_add_edges(+ Graph, + Edges, - NewGraph)*
Unify NewGraph with a new graph obtained by adding the list of edges Edges to the graph Graph.