[Gecode] ConLevel args

Christian Schulte schulte at imit.kth.se
Mon Oct 4 15:29:13 CEST 2004


Hmmm, this bug only appears with gcc, works fine with msvc. I will have a
look at valgrind myself. However, I will have time for that only next week.
 
Cheers
Christian
 

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: gecode-bounces at ps.uni-sb.de [mailto:gecode-bounces at ps.uni-sb.de] On
Behalf Of Patrick P.
Sent: Friday, September 24, 2004 10:39 PM
To: gecode at ps.uni-sb.de
Subject: [Gecode] ConLevel args


Hi there, 
Sorry for that discussion about the ConLevel arguments. I just reinserted
them again and post the Bound Consistent Version.
 
Does anybody has a hint for me about the Distinct-prop and its
Bound-consistent version???
As soon as i'm using explicitly distinct("current space", "current vars",
CL_BND) or
even the Distinct::Bnd<Var>::post("space","vars") i'm always getting a
segmentation fault for
 

VALGRIND:
 
Invalid write of size 4 --> in function
Distinct::Bnd<IntVar>::propagate(Space*)
 
Is it the wrong way of using it?
 
Thx so far

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20041004/2041aaad/attachment.htm>


More information about the gecode-users mailing list