[Gecode] bug: equal and the empty set

[Grégoire Dooms]

Grégoire Dooms wrote:

>
> I also attach a patch against set/reified/propagators.cc 1.25
> (this is a CVS version Christian sent me a few weeks ago - I have no 
> CVS access).
>

Should read twice before posting.
The previous patch does not fix it in other cases (two sets not equal 
but neither being empty).
This one should be better;

--
Grégoire
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_equal.diff
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20050523/ed7130d3/attachment.txt>