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#toc130Received on Mon Apr 04 2011 - 09:19:04 CEST
This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST