Re: [eclipse-clp-users] Error in the code of my Problem

From: Meriem Djefel <Meriem.DJEFEL_at_enstimac.fr>
Date: Wed, 07 Apr 2010 08:47:59 +0200
Hi,
I just find the problème. The error is due to the use of Propia with 
ic_symbolic when I use *infers [ic, ic_symbolic]* in the code.
Thank  you for your help.
Le 07/04/2010 02:42, Kish Shen a écrit :
> Meriem Djefel wrote:
>    
>> Thanks for your answer.
>>
>> My program goal is to  find the different possibles configuration of an
>> aircraft (just some components)
>> I had correct the problem with the domain of moteurs but I still have
>> the same error,
>>      
> Are you certain you get the same error? In the code you sent me, there
> are two missing domain values in moteurs, and with the adding of the
> missing value I mentioned last time, you get the error for the other
> domain value, and when this is corrected, your program produced an
> answer without error.
>
> Another point -- you are using the moteurs domain only with&=/2
> constraint, for setting a variable to a domain value. I am not sure why
> you are using constraints for this -- if you are only assigning values
> to variables, I don't see any advantages in using constraints to do this.
>
> Cheers,
>
> Kish
>
>    






Received on Wed Apr 07 2010 - 06:49:40 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET