On 7 nov 2007, at 09.31, Malcolm Ryan wrote: > Is there anyway to express the constraint: > > X = Y + c > > for variables X and Y, and constant c, such that holes in Y are > propagated to X and vice verse. The linear() constraint only seems to > give bounds consistency.
You can use the IntConLevel (integer consistency level) argument to increase the strength of propagation. See more at http:// www.gecode.org/gecode-doc-latest/ group__TaskIntInt.html#ga3e79a3496160feae2fd790c9379a319 Cheers, Mikael -- Mikael Zayenz Lagerkvist, http://www.it.kth.se/~zayenz _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
