[gecode-users] reified domain constraints failing for empty domains
Guido Tack
tack at gecode.org
Mon Aug 23 18:53:35 CEST 2010
Kish Shen wrote:
> I have noticed that the reified version of the dom constraint seems to fail when the domain is empty (min > max):
>
> dom(*solver, x, min, max, reif)
>
> solver->failed() seems to return true if min > max, even if reif is not set, or 0.
>
> To me, it seems more correct for dom to succeed if reif is 0, and to not fail if reif is not yet set to 0 or 1. Is it possible to do this?
That's a bug, thanks for reporting it! I fixed it in the svn.
Cheers,
Guido
--
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/
More information about the users
mailing list