[gecode-users] documentation for member propagator

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Kish Shen
Sent: Friday, September 23, 2011 5:16 PM
To: users at gecode.org
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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users