[eclipse-users] declaring constants

Hi everyone

Is it possible to declare constants i.e. variable that are not reduced ?
For example, in the following problem, not reducing the domain of D but
only the domains of X and Y :

[X,Y] $:: [-1.1..0.72],
D :: [1,4,7],
X +  D #< 3,
 Y + D #< 1.



Nicolas