Skip to content
GitLab
Explore
Sign in
Register
Tiago Peixoto
graph-tool
Repository
graph-tool
src
graph_tool
core.py
Find file
Blame
History
Permalink
Add member functions remove_vertex_if and remove_edge_if to Graph
· ff5db995
Tiago Peixoto
authored
Feb 22, 2009
This provides a more convenient way of deleting vertices or edges according to a simple criterion.
ff5db995