[gecode-users] documentation for member propagator

[Kish Shen]

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.