FD

[Raphael Collet]

Denys Duchier wrote:

> The reason the following doesn't make the same inference ...
>
> > local
> >    A={FD.decl}
> >    B={FD.decl}
> > in
> >    A\=:B
> >    A=:B
> > end
>
> ... is that the propagator for \=: is defined to only wake up when one
> of its parameters becomes determined.  Thus it is not woken up when
> A=:B unifies A and B.  This is of course wrong since A\=:B should
> become entailed as soon as the domains of A and B are disjoint.

I don't understand.  What's wrong here?  The fact is that the propagator
A\=:B is not complete.  In this case, it will not be disentailed until its
arguments are determined.

--
Raphaël Collet - raph at info.ucl.ac.be - http://www.info.ucl.ac.be/~raph/



-
Please send submissions to hackers at mozart-oz.org
and administriva mail to hackers-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.