Dear Raphael
Thank you for all your replies.
Best
Torsten
On 26 Mar 2009, at 21:44, Raphael Collet wrote:
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
--
Torsten Anders
Interdisciplinary Centre for Computer Music Research
University of Plymouth
Office: +44-1752-586219
Private: +44-1752-558917
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
