Dear Kilian,
Sorry for not having replied earlier, but your first message was too
imprecise for us to help...
Kilian Sprotte wrote:
Just wanted to give you a last comment on the problem - the number 64
appears to be somewhat magical....
Aaaah now I see. Indeed, sets within 0#63 have a special representation
that is more compact. Once the upper bound of a set enters this limit,
its representation is converted to the optimized one. (That's what I
have been told, I am no expert on this part of Mozart.) And the shift
between representations is buggy sometimes. But it is so obscure that
nobody has been able to fix it so far.
When x is known to be [50#53 64] and y is completely undetermined
(except for having card 5), for some reason !(glb_x <= lub_y) ist true,
although lub_y is [0#134217726] and thus glb_x should always be a subset.
I would check the actual values of glb_x, lub_x, and the definition of
operator <= in that case. Alas I cannot do it myself because I am too
busy next week. But maybe someone else can jump in?
Anyway thanks for the information, that should allow a developer to have
a look at it.
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
