Bug in LpBase::Constr

[Alpar Juttner]

From: Gábor Rétvári

Dear all,

Based on my understanding, the below should work:

#include <lemon/lp.h>

using namespace lemon;

int main(){
  Lp::Col v;
  Lp::Constr c = v >= -3;
  c = c <= 4;
  return 0;
}

and it should have the same effect as

c = -3 <= v <= 4

However, currently it fails with an assertion:

/export/devel/lemon/lemon/lemon/lp_base.h:1708: lemon::LpBase::Constr 
lemon::operator<=(const lemon::LpBase::Constr&, const Value&): Wrong LP 
constraint (assertion 'isNaN(tmp.upperBound())' failed)

The attached patch fixes it for me.

Best regards, Gabor

[Alpar Juttner]

The attached patch (as chgset [2eebc8f7dca5]) has been merged to branches 1.1, 1.2 and main.