[eclipse-users] declaring constants

From: Nicolas BERGER <Nicolas.Berger_at_univ-nantes.fr>
Date: Fri, 15 Jun 2007 13:15:26 +0200 (CEST)
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
Received on Fri Jun 15 2007 - 12:17:38 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET