Hello all,
currently, I am having a difficult time with FS.distinct. I am
experiencing this in a bigger setup and haven't really managed to
reproduce my problem in a small example, sorry, (I'll send it to you,
if I find one), but nevertheless I wanted to tell you my observations.
If I have two FS sets A and B, which have both of them a cardinality
of 5, I get 2 completely equal sets in the solution, although I have
posted:
{FS.distinct A B}
If I change this line to a kind of handmade distinct à la:
local
I C
in
I = {FS.var.decl}
{FS.intersect A B I}
C = {FS.int 0#4} % I know A's and B's card is 5!
{FS.card I C}
end
I indeed get 2 different sets....
Any comments?
Thanks,
Kilian
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
