Skip to content
GitLab
Explore
Sign in
Register
Tiago Peixoto
graph-tool
Repository
graph-tool
src
graph
graph_properties.cc
Find file
Blame
History
Permalink
Slight improvement of vertex property re-indexing
· cc140652
Tiago Peixoto
authored
Apr 11, 2012
This avoids copying property values when not necessary, if the index remains the same after purging
cc140652