Dear Torsten
On Thu, Mar 26, 2009 at 10:24 PM, Torsten Anders <
[email protected]> wrote:
> Dear Raphael,
>
> I see, thank you very much.
>
> Nevertheless, one last question: when I use the OPI to translate X \=: Y
> into the core syntax, then I get something like
>
> {FD.sumC 1#~1 X#Y '\=:' 0}
>
> Does this propagation behave the same as the following (for both, the
> documentation says "For the relation symbol '\\=:', the propagator waits
> until at most one non-determined variable is left.")? This latter is more
> easy for me to read...
>
> {FD.sum [X] '\=:' Y}
Yes, I think the propagation algorithm has the same effect in both cases.
Note that it is also equivalent to {FD.distinct [X Y]}. The core syntax
expansion somehow transforms the equation to a normalized form, which can
explain the statement above. (The goal of the normalization is also to
detect coreferences sooner, and group terms to get the best from the
propagation algorithm.)
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
