[gecode-users] New gecode version desiderata: channeling between set variables

[Christian Schulte]

Hi,

Sounds like a pretty good idea. I'll leave it to Guido as the master of set
variables (he is away right now).

Christian

--
Christian Schulte, KTH, web.it.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Luca Di Gaspero
Sent: Tuesday, October 25, 2011 12:56 PM
To: users at gecode.org
Subject: [gecode-users] New gecode version desiderata: channeling between
set variables

Hi all,

would it be possible to have channeling constraints between SetVarArrays in
the new gecode version. Even though they are just implemented with
decomposition they would be extremely useful in modeling (and in teaching). 
The constraints I am thinking about are of the form:

i \in SetA_j \iff j \in SetB_i

which can be of course implemented through a few element() constraints, but
it would be great to have a global channel(*this, Set_A, Set_B)!

Thanks in advance,

Luca
_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users