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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
