[eclipse-clp-users] (no subject)

Hie, 

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

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)
Example : 

X :: [1, 2] .. [1, 2, 3], (= {{1,2},{1,2,3}})
Y :: [5]..[5,6],(= {{5},{5,6}} 

using all_union([X,Y],Z), we obtain Z = [1,2,5]..[1,2,3,5,6] which is 
explicitly noted Z = {{1,2,5},{1,2,5,3},{1,2,5,6},{1,2,5,3,6}} while on 
reality we want to build the set Z = {{1,2},{1,2,3},{5},{5,6}}. Is there a 
way to build such a set? 

yours sincerely, 

Mehdi