| commit | a78900c59e55c4444e1a2e425f81501a2453ef2b | [log] [tgz] |
|---|---|---|
| author | bluss <bluss@users.noreply.github.com> | Sun Sep 17 13:28:14 2017 +0200 |
| committer | bluss <bluss@users.noreply.github.com> | Sun Sep 17 15:01:43 2017 +0200 |
| tree | 9c6037aa85d42525c3181c8d5fee20727b826ff6 | |
| parent | ca87fdb979a849b9fe2b4fa592d4eb2e38a2ec0a [diff] |
FEAT: Add StableGraph::filter_map Add helper methods to add new "tombstone" nodes/edges, so that we reproduce the original node / edge indices exactly. We put the regular free lists to side for this and keep it separately, so that add node/edge don't reuse them during the mapping.