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

From: Joachim Schimpf <jschimpf_at_coninfer.com>
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])
or
     suspend(cast(Number,String), 0, [String->tentative:tent_chg,Number->inst])

See http://eclipseclp.org/doc/bips/kernel/suspensions/suspend-3.html

Cheers,
Joachim
Received on Sat Feb 06 2016 - 14:49:49 CET

This archive was generated by hypermail 2.2.0 : Mon Feb 08 2016 - 06:13:54 CET