Re: [eclipse-clp-users] How to Have all the solution of a problem

From: Christian Wirth <tyrion_at_...215...>
Date: Thu, 04 Mar 2010 19:51:36 +0100
Regarding your first question, take a look at 
findall/setof/bagof/coverof in the predicate documention.They should do 
the trick

Meriem Djefel schrieb:
> Deal all,
> I have two questions :
> 1. I want to how  we can have all the solution of a problem in eclipse 
> without use the command *more *to have the next solution.
> 2. I have also an error in my code when I write : VitesseMaxi 
> $::[400,450] in the following constraint :
> (
>                     (VitesseMaxi $= 600 , DistanceVol #::[800, 1000], 
> ReservoirSupp #= 300);
>                     (VitesseMaxi $::[400,450] , DistanceVol #= 1600, 
> ReservoirSupp #= 300);                                       
>                     (VitesseMaxi $::[400,450] , DistanceVol #= 1400, 
> ReservoirSupp #= 200);
>                     (VitesseMaxi $= 550 , DistanceVol #:: [800,1000], 
> ReservoirSupp #= 200);
>                     (VitesseMaxi $= [450,400] , DistanceVol #= 1200, 
> ReservoirSupp #= 100);
>                     (VitesseMaxi $= 500 , DistanceVol #:: [800,1000], 
> ReservoirSupp #= 100)
> );
> Thanks for your answers.
>
> ------------------------------------------------------------------------------
> Download Intel&#174; Parallel Studio Eval
> Try the new software tools for yourself. Speed compiling, find bugs
> proactively, and fine-tune applications for parallel performance.
> See why Intel Parallel Studio got high marks during beta.
> http://p.sf.net/sfu/intel-sw-dev
> ------------------------------------------------------------------------
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>   
Received on Thu Mar 04 2010 - 19:17:15 CET

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST