Re: [eclipse-clp-users] Suspend till tentative value change

From: Joachim Schimpf <jschimpf_at_...311...>
Date: Sat, 6 Feb 2016 14:49:52 +0000
On 04/02/16 22:36, Edgaonkar, Shrirang wrote:
> Dear Joachim,
> Not sure if I need it, but can we 'wake' such a suspension without actually
> changing the tentative value?  It is similar to constrained(String) if the it
> is as String constrained.

Yes, suspensions and waking conditions are orthogonal concepts in ECLiPSe.
You can specify multiple (alternative) waking condition in the suspend/3,4
operation, for example

     suspend(cast(Number,String), 0, String->[constrained,tentative:tent_chg])
     suspend(cast(Number,String), 0, [String->tentative:tent_chg,Number->inst])


Received on Sat Feb 06 2016 - 14:49:49 CET

This archive was generated by hypermail 2.3.0 : Fri Aug 16 2019 - 15:13:40 CEST