From 950f9ff79fee4e214e1cfa63499fb3b9dca42c31 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 13 Nov 2015 14:00:35 -0800 Subject: [PATCH] feat(util/rb_tree): buffer => rb_tree --- src/util/rb_tree.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/util/rb_tree.h b/src/util/rb_tree.h index 742b4bf3c7..5adf8fd95b 100644 --- a/src/util/rb_tree.h +++ b/src/util/rb_tree.h @@ -313,6 +313,10 @@ public: rb_tree(CMP const & cmp = CMP()):CMP(cmp) {} rb_tree(rb_tree const & s):CMP(s), m_root(s.m_root) {} rb_tree(rb_tree && s):CMP(s), m_root(s.m_root) {} + rb_tree(buffer const & s) { + for (auto const & v : s) + insert(v); + } rb_tree & operator=(rb_tree const & s) { m_root = s.m_root; return *this; } rb_tree & operator=(rb_tree && s) { m_root = s.m_root; return *this; }