undgraph_del_vertices/4¶
undgraph_del_vertices(+ Graph, + Vertices, - NewGraph)*
Unify NewGraph with a new graph obtained by deleting the list of vertices Vertices and all the edges that start from or go to a vertex in Vertices to the graph Graph.
undgraph_del_vertices(+ Graph, + Vertices, - NewGraph)*
Unify NewGraph with a new graph obtained by deleting the list of vertices Vertices and all the edges that start from or go to a vertex in Vertices to the graph Graph.