[gecode-users] help ----puzzles of defining Variable

[Kayler Yao]

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/e9774fac/attachment.htm>