[gecode-users] Intersecting a variable domain with an IntSet ?

[Jérémie Vautard]

Hi !

I would like to post a unary constraint  x \in Y, x being an IntVar  
and Y an IntSet. I thought it existed, but I can't find it again in  
the documentation... Is it possible to do that ?

Cheers,

Jeremie Vautard