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

Drop unused CV-qualifiers from scalar return values

Browse source
This commit is contained in:
Michał Janiszewski 2018-10-01 21:14:25 +02:00
parent 7a2a2a32cc
commit cdbfd9654f
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/lp/lar_core_solver.h
View file

@ -817,7 +817,7 @@ public:
} }
const bool column_is_bounded(unsigned j) const { bool column_is_bounded(unsigned j) const {
switch(m_column_types()[j]) { switch(m_column_types()[j]) {
case column_type::fixed: case column_type::fixed:
case column_type::boxed: case column_type::boxed:

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

@ -57,10 +57,10 @@ public:
template <> class numeric_traits<int> { template <> class numeric_traits<int> {
public: public:
static bool precise() { return true; } static bool precise() { return true; }
static int const zero() { return 0; } static int zero() { return 0; }
static int const one() { return 1; } static int one() { return 1; }
static bool is_zero(int v) { return v == 0; } static bool is_zero(int v) { return v == 0; }
static double const get_double(int const & d) { return d; } static double get_double(int const & d) { return d; }
static bool is_int(int) {return true;} static bool is_int(int) {return true;}
static bool is_pos(int j) {return j > 0;} static bool is_pos(int j) {return j > 0;}
static bool is_neg(int j) {return j < 0;} static bool is_neg(int j) {return j < 0;}