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

Reply via email to