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

From: Wit Jakuczun <wit.jakuczun_at_gmail.com>
Date: Tue, 3 Jun 2008 20:45:23 +0200
2008/6/3 Patrice Boizumault <Patrice.Boizumault_at_info.unicaen.fr>:
> 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)
>
Maybe this whould help you:

http://eclipse.crosscoreop.com/doc/bips/lib/fd_sets/all_union-2.html

Best regards
-- 
[ Wit Jakuczun w.jakuczun_at_wlogsolutions.com ]
[ WLOG Solutions http://wlogsolutions.com ]
Received on Tue Jun 03 2008 - 11:45:26 CEST

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