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

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