mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 15:23:41 +00:00
Code Activity

add move constructor to obj_ref

Browse source
This commit is contained in:
Nuno Lopes 2017-10-15 03:41:34 +01:00
parent 29acec672f
commit e7f0f3b834
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/util/obj_ref.h
View file

@ -53,6 +53,10 @@ public:
inc_ref(); inc_ref();
} }
obj_ref(obj_ref && other) : m_obj(0), m_manager(other.m_manager) {
std::swap(m_obj, other.m_obj);
}
~obj_ref() { dec_ref(); } ~obj_ref() { dec_ref(); }
TManager & get_manager() const { return m_manager; } TManager & get_manager() const { return m_manager; }