[gecode-users] Defining constraint to extract Element from an array of integer holding repeated values

[Guido Tack]

Am 17.01.2009 um 15:23 schrieb Jeffrey:

> For constructing an IntSetArgs with instructorOfStudent[], below is  
> the way I used.
> It seems a bit stupid to put the instructorOfStudent[] into a  
> tmpValue[1] in order to use the constructor.
> Is there are smarter way to do so?

Yes, IntSet(i,i) constructs the singleton set {i} (see the  
documentation).

Guido