[gecode-users] Advisor: Delta Modification

Max Ostrowski ostrowsk at cs.uni-potsdam.de
Fri Aug 31 13:27:05 CEST 2012


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




More information about the users mailing list