Re: [eclipse-clp-users] Question about suspend

From: Ulrich Scholz <wanderer_at_thispla.net> Date: Mon, 4 Apr 2011 11:18:47 +0200 · This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET

Thank you!

That piece of information slipped my attention.

Best regards,

Ulrich

On Mon, Apr 04, 2011 at 10:19:53AM +1000, Joachim Schimpf wrote:
> Ulrich Scholz wrote:
> > Hi,
> > 
> > I'd like to write a demon that wakes when an ic variable gets constrained.
> > Also, it should wake if the ic variable is made equal to another ic variable
> > with same bounds.  

> 
> Unification of X with an "unrelated" Y will not cause waking.
> 
> You have to include Y in the trigger condition like this:
> 
> t4 :-
>     X :: [0..100],
> 
>     suspend(d, 0, [[X,Y]->bound], _S),
> 
>     Y :: [0..100],
> 
>     X = Y.
> 
> See http://eclipseclp.org/doc/userman/umsroot111.html#toc130