Hi,
There is in principle no problem with a non-deterministic construct in Gecode: the point is that the full reduction of the construct must be monotonic. This is no different for parallel conditionals in Mozart, say. I don't feel right now that an ask combinator is of sufficient general interest to be included in Gecode. We are quite conservative to include new stuff into Gecode (basically, there should be an application that needs it). If others think otherwise, please make yourself heard. Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Mauricio Toro Sent: Monday, May 05, 2008 6:33 PM To: [EMAIL PROTECTED]; [EMAIL PROTECTED] Subject: [gecode-users] About the parallel conditional combinator in Gecol Hello all, How are you doing? I know that Gecode is not made for concurrent constraint programming and there are not combinators in Gecode. But, since the ask propagator worked very good. Now I am interested in writting the parallel conditional combinator in Gecode. Not necessary as a combinator, but I need something with this semantic: Non deterministically choose if Boolean var 1 then Process 1 if Boolean var 2 then Process 2 if Boolean var n then Process n end >From the n variables, I want to execute choose one process between the variables which value is assigned true. Since, it is not possible to write non-monotonic propagators in Gecode, what can I do? I tried doing the choice, after I reach a fix-point, but what happens if I have many of this non-deterministic choices? It is required to write it this using Gecode and being efficient. All ideas are welcomed. Thanks P.S : Gecode developers, do you want to include the ask propagator inside Gecode? I have an stress example showing better performance than using Mozart-Oz. Mauricio -- Mauricio Toro Bermudez Estudiante de Ingeniería de Sistemas Pontificia Universidad Javeriana, Colombia Stagiare à l'Ircam 1, place Igor-Stravinsky 75004 Paris, France de 2008 à 2009
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
