[gecode-users] Posting a constraint on a IntVarArray that depends to other IntVarArray

Juan Carlos carlvall at gmail.com
Wed Jan 9 22:11:41 CET 2008


Hello all

I've been using Gecode for several months, and this is my first e-mail to
the users list.
First I want to say congratulations  to Christian Schulte , Mikael
Lagerkvist, Gido Tack , and all the people that work on gecode.  You've done
a nice job!.

Second I have a question about how to post a constraint, here is the
problem:

There are two IntVarArray :

IntVarArray a(this, size, 0 ,size)
IntVarArray b(this, size, 0 ,size)

I need to post a constraint over the var b[a[i]] for all i between 0 and
size. (I know I can do this using Arguments, and Element),

but what if I need to post that constraint over b[a[i] only when a[i]<4 and
another constraint when a[i]>=4?

I've been trying to figure out how to do this but I cant find an answer, do
you have any ideas?.

thank you  for your help.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080109/949d1384/attachment.htm>


More information about the gecode-users mailing list