equal
deleted
inserted
replaced
3250 |
3250 |
3251 protected: |
3251 protected: |
3252 |
3252 |
3253 virtual void add(const Key& key) { |
3253 virtual void add(const Key& key) { |
3254 Parent::add(key); |
3254 Parent::add(key); |
3255 unlace(key); |
3255 lace(key); |
3256 } |
3256 } |
3257 |
3257 |
3258 virtual void add(const std::vector<Key>& keys) { |
3258 virtual void add(const std::vector<Key>& keys) { |
3259 Parent::add(keys); |
3259 Parent::add(keys); |
3260 for (int i = 0; i < int(keys.size()); ++i) { |
3260 for (int i = 0; i < int(keys.size()); ++i) { |