Hi, 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. Christian -- Christian Schulte, KTH, web.it.kth.se/~cschulte/ -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Kish Shen Sent: Thursday, September 22, 2011 6:35 PM To: [email protected] Subject: [gecode-users] documentation for member propagator Hi, I am in the process of adding support for the new features in 3.7.0 (and 3.6.0) to the ECLiPSe Gecode interface, and I have some questions and comments about the documentation for the member constraint: In the MPG, the text in the "Membership constraints" section (4.4.2 on my copy), says "...for an integer array x..", referring to member(home, x, y), I think x should be an integer variable array. I also looked at the reference documentation to try and find what IntConLevel is supported for this constraint, and in the specification for the functions, there is just IntConLev at the last argument position, without a variable name, something like: void Gecode:member(Home home, const IntVarArgs & x, IntVar y, IntConLevel } It looks like this is the way the function is written in the source as well. I am not familiar with this syntax -- what does it mean, and does member support any IntConLevel? Thanks and cheer, 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
