mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

remove old compat code

Browse source
This commit is contained in:
Nuno Lopes 2022-10-06 17:22:17 +01:00
parent 9f78a96c1d
commit a792251a82
1 changed files with 1 additions and 25 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
src/util/mpn.h
View file

@ -54,30 +54,7 @@ public:
char * to_string(mpn_digit const * a, size_t lng,
char * buf, size_t lbuf) const;
private:
#if defined(__LP64__) || defined(_WIN64)
class mpn_sbuffer : public sbuffer<mpn_digit> {
public:
mpn_sbuffer() : sbuffer<mpn_digit>() {}
mpn_sbuffer(size_t nsz, const mpn_digit & elem = 0) :
sbuffer<mpn_digit>(static_cast<unsigned>(nsz), elem)
{
}
void resize(size_t nsz, const mpn_digit & elem = 0) {
sbuffer<mpn_digit>::resize(static_cast<unsigned>(nsz), elem);
}
mpn_digit & operator[](size_t idx) {
return sbuffer<mpn_digit>::operator[](static_cast<unsigned>(idx));
}
const mpn_digit & operator[](size_t idx) const {
return sbuffer<mpn_digit>::operator[](static_cast<unsigned>(idx));
}
};
#else
typedef sbuffer<mpn_digit> mpn_sbuffer;
#endif
using mpn_sbuffer = sbuffer<mpn_digit>;
static const mpn_digit zero;
void display_raw(std::ostream & out, mpn_digit const * a, size_t lng) const;
@ -104,4 +81,3 @@ private:
void trace(mpn_digit const * a, size_t lnga) const;
void trace_nl(mpn_digit const * a, size_t lnga) const;
};