Yes, it has! Christian
Copy and paste from "Modeling with Gecode": 4.2.2 Passing temporary arrays as arguments -- Christian Schulte, www.ict.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of Kayler Yao Sent: Monday, August 03, 2009 10:01 AM To: Guido Tack Cc: [email protected] Subject: Re: [gecode-users] help ----puzzles of defining Variable Hi Guido, Sorry, i can't find the index 4.2.2. Did you talk about Gecode 3.1.0? There has no index with X.X.X. Kayler 2009/8/3 Guido Tack <[email protected]> Kayler Yao wrote: 2. But i still not understand your reply well about the first question. whether your means are that distinct constraint is only used for IntVarArgs, as written in the manual of Gecode --- " void Gecode::distinct (Space &home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)" But i found that i can also use IntVarArray in distinct constraint through testing, and also see it in the example "money.cpp" supplied by the manual of Gecode 3.1.0. As follows: " IntVarArray le; distinct(*this, le, opt.icl()) " I know they are Array, from their definition i have no idea to understand the reason why they can all be used in distinct constraint . Read 4.2.2 in the tutorial. Guido
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
