[eclipse-clp-users] Defining domains for IntegerSet variables

From: Patrice Boizumault <Patrice.Boizumault_at_info.unicaen.fr>
Date: Tue, 03 Jun 2008 20:13:34 +0200
Hie, 

We would like to use IntegerSet variables whose initial domains
are not a single interval, but a UNION of intervals. 

Example : X1 :: [1,2]..[1,2,5,7] op [2]..[2,4,7] op [3,6]..[3,4,6,7] 

where op represents the union of 2 Sets of IntegerSets. 

Is there a simple way to state this in ECLiPSe, since union
is defined for IntegerSets but not for Sets of IntegerSets ?
(and we don't want to have to enumerate each of the intervals) 

Thanks for your help, 

Best regards, 

Patrice Boizumault 
Received on Tue Jun 03 2008 - 11:13:46 CEST

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