"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 <t...@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
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users