On 22/09/2011 18:54, Christian Schulte wrote:
Thanks for the typo, fixed in the trunk. The membership propagator is domain
consistent (the reference doc says that, in fact), check the top of the
page.
The missing argument comes from the fact that doxygen for some reason does
pick up the implementation and the declaration (that's a bug in doxygen). A
missing argument means that it is not used in the implementation.
Hi Christian,
Thanks for your reply.
I was scanning for the ICL_.. string, so missed the mention of domain
consistent part. Am correct that for the other constraints, the
function calls do have an IntConLev argument, even if the constraint
supports only one consistency level (such as the single variable count
constraints before your recent change), or if the consistency level is
not one of the standard one (such as the schduling constraints). Is
there any reason why the argument is not there for the member constraint
(I assume the argument is also a dummy argument for the other
constraints that has only one consistency level)?
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.
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
