[gecode-users] Propagating holes

[Zayenz Lagerkvist]

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