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

From: Ulrich Scholz <wanderer_at_...190...>
Date: Mon, 4 Apr 2011 11:18:47 +0200
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
Received on Mon Apr 04 2011 - 09:19:04 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST