[gecode-users] x \in Set

[Guido Tack]

Mauricio Toro wrote:
> I need to write this predicate in gecode:
>
> IntVar x;
> SetVar S;
>
> x \in S
>
> How can I do it?

rel(space, s, SRT_SUP, x);

Cheers,
	Guido