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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
