> I don't have choice : I use ECLiPSe with Java...(sorry for the missing > informations in previous mails) > I read in the documentation that it's the only way to obtain the results. I think you may be referring to a comment in the Java-ECLiPSe Interface documentation: "...if you are using nondeterminism to generate multiple solutions, you should collect these on the ECLiPSe side using a meta-level built-in predicate such as findall/3 and then return the result to Java" This means that you can't use non-determinism in the part of the code which interfaces directly with Java. However, you *can* use it internally in the Eclipse program. So unless you wanted to do return all the solutions to Java before processing them in some way, you can process the solutions in ECLiPSe and then return the result to Java. If you need all solutions passed to Java, you could use a FromEclipseQueue to send each solution to Java as soon as it is generated, and have Java record it somewhere. Hope this helps. Josh Singer Developer, Parc Technologies Limited josh.singer@parc-technologies.com http://www.parc-technologies.com This e-mail message is for the sole use of the intended recipient(s) -its contents are the property of Parc Technologies Limited (or its licensors) and are confidential. Please do not copy, review, use (except for the intended purposes), disclose or distribute the e-mail or its contents (or allow anyone else to do so) without our prior permission. Parc Technologies Limited does not guarantee that this e-mail has not been intercepted and amended nor that it is virus-free. You should carry out your own virus checks before opening any attachment. Any opinions expressed in this e-mail message are those of the author and not necessarily Parc Technologies Limited. -----Original Message----- From: Olivier Thirifay [mailto:olithiri@hotmail.com] Sent: Tuesday, October 23, 2001 9:43 AM To: eclipse-users@icparc.ic.ac.uk Cc: wh@icparc.ic.ac.uk Subject: [eclipse-users] Re: Limits of ECLiPSe ? > >You need to find a way of solving your problem without constructing an >explicit list of these solutions. Hello, I don't have choice : I use ECLiPSe with Java...(sorry for the missing informations in previous mails) I read in the documentation that it's the only way to obtain the results.Also, I call the library fd (lib(fd)). I have for my test 2 predicates like in the previous mail (with constraints a little different in each other) and I use the results to compute intersection, or difference, ... I don't see others ways to do that. I know that I have to restrain the research space but the constraints are imposed to me and domains are very large (some domains are comprised between 0 and 5000 and the only constraint is X>2700) Olivier PS : I discover ECLiPSe. Thanks for your patience. _________________________________________________________________ Téléchargez MSN Explorer gratuitement à l'adresse http://explorer.msn.fr/intl.aspReceived on Tue Oct 23 13:47:30 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:11 PM GMT GMT