[gecode-users] Advisor: Delta Modification

Christian Schulte cschulte at kth.se
Fri Aug 31 13:34:28 CEST 2012


You first have to check with any()! Only if that is false, min and max make
sense!

Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/



-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Max Ostrowski
Sent: Friday, August 31, 2012 1:27 PM
To: users at gecode.org
Subject: [gecode-users] Advisor: Delta Modification

Hi everybody,

in case of the modification event Gecode::Int::ME_INT_VAL i want to know
what is the meaning of the IntView::min(d) and max(d) methods (d==delta)

In the case of ME_INT_BND,
min(d)..max(d) is the range that was removed from the domain.

In the case of ME_INT_VAL
i sometimes have it being a removed range, but sometimes it is min(d)=1 and
max(d)=0.
I thought that this means that the domain was restricted on both sides of
the variable, eg. x==6 while it was x = [1..10] before.
But this does not seem to be true in all cases.
So what is the meaning of these values.

Best,
Max


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




More information about the users mailing list