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

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Kayler Yao
Sent: Monday, August 03, 2009 10:01 AM
To: Guido Tack
Cc: users at gecode.org
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 <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/c70bf54d/attachment.htm>