[gecode-users] reified domain constraints failing for empty domains
Kish Shen
kisshen at cisco.com
Mon Aug 23 18:30:02 CEST 2010
Hi,
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?
Thanks and cheers,
Kish
--
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
More information about the users
mailing list