[gecode-users] Propagating holes

[Malcolm Ryan]

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.

Malcolm

--
Many clever men like you have trusted to civilisation.
Many clever Babylonians, many clever Egyptians,
Many clever men at the end of Rome.
                               - G.K.Chesterton, The Napoleon of  
Notting Hill