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