[gecode-users] help ----puzzles of defining Variable
Kayler Yao
risoay at gmail.com
Mon Aug 3 10:33:34 CEST 2009
Hi Guido,
I got it. It is just what i want. It can make me to understand it
clearly.Thanks again for your help.
Good Luck!
Kayler
2009/8/3 Guido Tack <tack at ps.uni-sb.de>
> "Modeling with Gecode", the current version on the web, Section 4.2.2.
>
> Guido
>
> Kayler Yao wrote:
>
> 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 <tack at ps.uni-sb.de>
>
>> 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
>>
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090803/a2a401e4/attachment.htm>
More information about the gecode-users
mailing list