No subject

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

--=20
Mauricio Toro Bermudez
Estudiante de Ingenier=EDa de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare =E0 l'Ircam
1, place Igor-Stravinsky 75004 Paris,
France de 2008 =E0 2009

------=_Part_5495_16978457.1210005188713
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hello all,<div>How are you doing?</div><div><br class=3D"webkit-block-place=
holder"></div><div>I know that Gecode is not made for concurrent constraint=
 programming</div><div>and there are not combinators in Gecode. But, since =
the ask</div>
<div>propagator worked very good. Now I am interested in writting</div><div=
>the parallel conditional combinator in Gecode. Not necessary</div><div>as =
a combinator, but I need something with this semantic:</div><div><br class=
=3D"webkit-block-placeholder">
</div><div>Non deterministically choose</div><div>&nbsp;&nbsp;if Boolean va=
r 1 then Process 1&nbsp;</div><div>&nbsp;&nbsp;if&nbsp;Boolean var 2 then P=
rocess 2</div><div>&nbsp;&nbsp;if&nbsp;Boolean var n then Process n</div><d=
iv>end<br clear=3D"all"><br>&nbsp;</div><div>From the n variables, I want t=
o execute choose one process</div>
<div>between the variables which value is assigned true.</div><div><br clas=
s=3D"webkit-block-placeholder"></div><div>Since, it is not possible to writ=
e non-monotonic propagators in</div><div>Gecode, what can I do?</div><div>
<br class=3D"webkit-block-placeholder"></div><div>I tried doing the choice,=
 after I reach a fix-point, but what happens</div><div>if I have many of th=
is non-deterministic choices?</div><div><br class=3D"webkit-block-placehold=
er">
</div><div>It is required to write it this using Gecode and being efficient=
.</div><div><br class=3D"webkit-block-placeholder"></div><div>All ideas are=
 welcomed. Thanks</div><div><br class=3D"webkit-block-placeholder"></div><d=
iv>
P.S : Gecode developers, do you want to include the ask propagator inside G=
ecode?&nbsp;</div><div>I have an stress example showing better performance =
than using Mozart-Oz.</div><div><br class=3D"webkit-block-placeholder"></di=
v><div>
Mauricio</div><div><br>-- <br>Mauricio Toro Bermudez<br>Estudiante de Ingen=
ier=EDa de Sistemas<br>Pontificia Universidad Javeriana, Colombia<br><br>St=
agiare =E0 l&#39;Ircam<br>1, place Igor-Stravinsky 75004 Paris, <br>France =
de 2008 =E0 2009
</div>

------=_Part_5495_16978457.1210005188713--