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

Remove ignored const qualifiers.

Browse source 
The `const` qualifier on a scalar value is ignored in return types.
This commit is contained in:
Bruce Mitchener 2018-01-02 23:12:28 +07:00
parent f5bba63674
commit 11db778442
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/util/lp/numeric_pair.h
View file

@ -38,10 +38,10 @@ template <typename T> class numeric_traits {};
template <> class numeric_traits<unsigned> { template <> class numeric_traits<unsigned> {
public: public:
static bool precise() { return true; } static bool precise() { return true; }
static unsigned const zero() { return 0; } static unsigned zero() { return 0; }
static unsigned const one() { return 1; } static unsigned one() { return 1; }
static bool is_zero(unsigned v) { return v == 0; } static bool is_zero(unsigned v) { return v == 0; }
static double const get_double(unsigned const & d) { return d; } static double get_double(unsigned const & d) { return d; }
}; };
template <> class numeric_traits<double> { template <> class numeric_traits<double> {
@ -66,7 +66,7 @@ template <> class numeric_traits<double> {
static rational const & zero() { return rational::zero(); } static rational const & zero() { return rational::zero(); }
static rational const & one() { return rational::one(); } static rational const & one() { return rational::one(); }
static bool is_zero(const rational & v) { return v.is_zero(); } static bool is_zero(const rational & v) { return v.is_zero(); }
static double const get_double(const rational & d) { return d.get_double();} static double get_double(const rational & d) { return d.get_double();}
static rational log(rational const& r) { UNREACHABLE(); return r; } static rational log(rational const& r) { UNREACHABLE(); return r; }
static rational from_string(std::string const & str) { return rational(str.c_str()); } static rational from_string(std::string const & str) { return rational(str.c_str()); }
static bool is_pos(const rational & d) {return d.is_pos();} static bool is_pos(const rational & d) {return d.is_pos();}