mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

add move constructor to mpf

Browse source
This commit is contained in:
Nuno Lopes 2017-10-13 18:23:30 +01:00
parent d1c13f17b0
commit 468e0207f7
2 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/mpf.cpp
View file

@ -40,12 +40,6 @@ mpf::mpf(unsigned _ebits, unsigned _sbits):
set(ebits, sbits); set(ebits, sbits);
} }
mpf::mpf(mpf const & other) {
// It is safe if the mpz numbers are small.
// I need it for resize method in vector.
// UNREACHABLE();
}
mpf::~mpf() { mpf::~mpf() {
} }

7
src/util/mpf.h
View file

@ -50,7 +50,12 @@ class mpf {
public: public:
mpf(); mpf();
mpf(unsigned ebits, unsigned sbits); mpf(unsigned ebits, unsigned sbits);
mpf(mpf const & other); mpf(mpf && other) :
ebits(other.ebits),
sbits(other.sbits),
sign(other.sign),
significand(std::move(other.significand)),
exponent(other.exponent) {}
~mpf(); ~mpf();
unsigned get_ebits() const { return ebits; } unsigned get_ebits() const { return ebits; }
unsigned get_sbits() const { return sbits; } unsigned get_sbits() const { return sbits; }