[gecode-users] Inclusion check for SetVar

[Jairo Maldonado]

I am working in the review of  equal propagator for SetVar, and  I want to
know if in gecode, the propagator checks if lower bounds are a subsets of
the upper bounds after doing the union between the lower bounds and the
intersetion of the upper bounds.

If it does, I would like to know  where is the code, or else I would like to
know why?

I'm looking it
http://www.gecode.org/gecode-doc-latest/set_2rel_2eq_8icc-source.html
in line number 54.

thanks

--
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/20060330/f562278a/attachment.htm>