[gecode-users] documentation for member propagator
Kish Shen
kisshen at cisco.com
Thu Sep 22 18:34:54 CEST 2011
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.
More information about the users
mailing list