[gecode-users] About the parallel conditional combinator in Gecol

[Mauricio Toro]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080505/7433bfe7/attachment-0001.htm>