[gecode-users] Unexpected propagation/search behaviour

[Christian Schulte]

Hmmm, another thing: how do you store the info that a variable is already
done? Do you copy that properly?

Otherwise, no real idea yet. Maybe send the real code.

Christian

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

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Lars Otten
Sent: Monday, January 23, 2006 2:48 PM
To: users at gecode.org
Subject: Re: [gecode-users] Unexpected propagation/search behaviour


Hello and thanks for the answers,

in fact I do perform that check in my propagator, I just cut it from my
pseudo code in the mail. My bad, sorry.

Anyway, the problem can't be due to that then, any other ideas?

/Lars

On 01/23/06 09:40, Christian Schulte wrote:
> This will actually be most likely the cause for ypur problems. Not 
> only is it dangerous to not check for the status but actually in your 
> case the very fact that failure has been dected gets lost!
> 
> Christian


_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users