[eclipse-users] How to remember last variable value and then choose in search

From: Daniel Lucraft <dan_at_...68...>
Date: Thu, 21 Feb 2008 02:07:23 -0800 (PST)
Hi

If anyone could help me it would be much appreciated. 

I'm solving a problem repeatedly using Ic. I'd like to
 remember the previous solution, and then write a
'choice' predicate I can pass to search that begins by
choosing the value from the previous solution.
Hopefully that will speed things up.

Not sure how to do this. After the search has
completed, the program backtracks, uninstantiating the
solution variables, before applying a new constraint
and re-solving. So I suppose I need to save the result
in nonlogical storage, but how to look up the value
when all the choice predicate gets given is the
variable?

thanks,
Dan

____________________________
Daniel Lucraft
Imperial College London
Received on Thu Feb 21 2008 - 10:07:35 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:19 CET