Custom Query (545 matches)

The clear function is not called properly.

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

Dear all,

I think the below behavior of PredMapPath::empty() makes more sense.

Regards, Gabor

################

# HG changeset patch
# User retvari@everything
# Date 1271017722 -7200
# Node ID 6e741754566a2075505527319b57862baf59931f
# Parent  6dd226d3dcbaa9f7474a9b9f445f1c617d65d481
Fix PredMapPath::empty()

diff --git a/lemon/bits/path_dump.h b/lemon/bits/path_dump.h
--- a/lemon/bits/path_dump.h
+++ b/lemon/bits/path_dump.h
@@ -49,7 +49,7 @@
     }
 
     bool empty() const {
-      return predMap[target] != INVALID;
+      return predMap[target] == INVALID;
     }
 
     class RevArcIt {