Actions
Cleanup #440
closedinterval_set<>::iterator
% Done:
100%
Tags:
Backport:
Reviewed:
Affected Versions:
Pull request ID:
Description
Let's rename end() to something else and fix any callers (if they exist!).
Updated by Colin McCabe over 13 years ago
- % Done changed from 0 to 100
interval_set::end() now returns a const_iterator, yay!
As a related issue, we should make the std::map<T,T> structure inside interval_set private. That would give us more freedom to implement interval_set in a more efficient way in the future. In order to make that happen, we'd have to have a non-const iterator (because ReplicatedPG.cc currently directly modifies that map right now.)
Actions