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

[Guido Tack]

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 ?

Yes, using dom:
http://www.gecode.org/gecode-doc-latest/group__TaskIntIntDomain.html#gac26cca18d43516ad87b31d30b345524

Cheers,
   Guido

-- 
Guido Tack
http://www.ps.uni-sb.de/~tack