Re: [eclipse-clp-users] Customized Search

From: Joachim Schimpf <joachim.schimpf_at_...269...>
Date: Thu, 12 May 2011 12:38:28 +1000
Bogdan Tanasa wrote:
> Hi,
> 
>  
> 
> I have an array of Boolean variables x_1, x_2, …, x_n and the following
> relation:
> 
>  
> 
> x_i = y(x_1, …, x_i-1) * z + (1 – y) * x_i.
> 
> I my code I am invoking search / 6 on the x variables but I get a wrong
> behavior.
> 
>  
> 
> y is a Boolean function of the previous i – 1 variables while z is an
> Boolean function which depends on completely other variables then x.
> 
>  
> 
> The recursive relation should work like this:
> 
> If y is 1 then x_i have to take the value of z and if y is 0 then x_i
> should be instantiated by a search predicate.
> 
> In other words if y is 1 the search procedure does not have to change
> the value of x_i.
> 
>  
> 
> I was expecting that x_i #= y(x_1, …, x_i-1) * z + (1 – y) * x_i will do
> trick but it doesn’t.
> 
>  
> 
> Can you please help with some ideas ?

Hi Bogdan,

If I understand your notation correctly, what you want
(in ECLiPSe lib(ic) syntax) is, for all I:

    ( ...some expression involving X[1] to X[I-1]... ) => (X[I] #= Z)


-- Joachim
Received on Thu May 12 2011 - 02:38:40 CEST

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