Right, all constraint post functions for integer constraints have the optional IntConLevel argument as last argument even though only one consistency level might be supported.
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Kish Shen Sent: Friday, September 23, 2011 5:16 PM To: [email protected] Subject: Re: [gecode-users] documentation for member propagator 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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
