[gecode-users] SetDelta::glbAny/lubAny

[Guido Tack]

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