On 7 Feb 2012, at 21:59, Johannes Inführ wrote:
> Hi!
>
> Is it correct that SetDelta::glbAny/lubAny will return true if the delta
> represents NO change in the glb/lub?
Yes, the documentation is kind of misleading. If glbAny (lubAny) returns true,
it means that there was a lower bound (upper bound) change, but it cannot be
represented by the delta. For example, if you remove 0..3 from the upper
bound, then lubAny()==false, lubMin()==0 and lubMax()==3. But if you remove
{0,3,5} from the upper bound, lubAny will be true, because the domain change
cannot be represented exactly by the delta.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
