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

From: Meriem Djefel <Meriem.DJEFEL_at_...178...>
Date: Wed, 07 Apr 2010 08:47:59 +0200
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.3.0 : Sun Aug 25 2019 - 06:15:50 CEST