[gecode-users] Reified Domain and relation propagators for Sets are too slow

[Mauricio Toro]

Hello all,
I am doing extensive use of
Gecode::rel<http://www.gecode.org/gecode-doc-latest/group__TaskModelSetRel.html#ga5e2a7f2de88428535b7d2c57021791f>
(Space
*home, IntVar x<http://www.gecode.org/gecode-doc-latest/kakuro_8cc.html#e928e6fd222358d27be0a56a8ade81ce>,
SetRelType r, SetVar s,BoolVar b)
and
Gecode::dom<http://www.gecode.org/gecode-doc-latest/group__TaskModelSetDom.html#gc81dd15456e59c5888bc0da4c1fa0fc8>
(Space
*home, SetVar x<http://www.gecode.org/gecode-doc-latest/kakuro_8cc.html#e928e6fd222358d27be0a56a8ade81ce>,
SetRelType r, int i,BoolVar b)

This makes my program run really slow. I saw the implementation and this
functions call the subset propagator. But, I don't think it is necessary.
Is there a way to to make them faster? perhaps writting a propagator for

Integer \in Set
IntVar \in Set

Instead of

{Integer} subset of Set and {IntVar} subset of Set ?

Any ideas are welcomed,

Thanks

-- 
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/20080613/e7530976/attachment.htm>