[gecode-users] What do Gecode::rel (Space *home, SetVar s, IntRelType r, IntVar x)

[Jairo Maldonado]

Hi all,

someone know how works this propagator's gecode .

void Gecode::rel<http://www.gecode.org/gecode-doc-latest/group__TaskIntSetRel.html#gfdbc288938f365c00e464090f12617a6>(Space
*home, SetVar s,
SetRelType<http://www.gecode.org/gecode-doc-latest/group__TaskIntSet.html#gc605330dd62d12a081da9f22c044424a>r,
IntVar x)
void Gecode::rel<http://www.gecode.org/gecode-doc-latest/group__TaskIntSetRel.html#g7020a7832dd236e10dc27a0129f4123f>(Space
*home, SetVar s,
IntRelType<http://www.gecode.org/gecode-doc-latest/group__TaskIntInt.html#g69455914fd525f35c94fdf16719f337f>r,
IntVar x)

and why they are different?

I am proving these propagators but I cannot see propagen  efects

would  can someone give me some example, in which  i can see propagen efects

very thank
--
Jairo Ernesto Maldonado Gómez
Ing de Sistemas y Computación
Asistente de Investigación Grupo-Avispa
Universidad del Valle
Cali-Colombia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20060417/c3bafecd/attachment.htm>