Domain

From: Olivier Thirifay <olithiri_at_hotmail.com>
Date: Fri 26 Oct 2001 08:15:22 AM GMT
Message-ID: <F169duuJNc3JPv4ucOK00002ab1@hotmail.com>
Hello,

I would like to know if it is possible to obtain the "union" of domains like 
in this example :

predicat:-
VARS=[A,B,C],
A::0..5,
B::0..5,
C::0..5,
(A#=0,B#>0,C#=0);(A#=0,B#=0,C#=0).

it returns me the domains that are covered by the constraints.
[A{0},B{1..5},C{0}]
[A{0},B{0},C{0}]

I have a second predicate :
predicat:-
VARS=[A,B,C],
A::0..5,
B::0..5,
C::0..5.
which returns all possibilities. [A{0..5},B{0..5},C{0..5}]


I would like to obtain the union of
[A{0},B{1..5},C{0}]
[A{0},B{0},C{0}]
-> [A{0},B{0..5},C{0}]
to compare with all possibilities [A{0..5},B{0..5},C{0..5}]

Is it possible with the built-in predicate ?

Thanks
Olivier

_________________________________________________________________
TÚlÚchargez MSN Explorer gratuitement Ó l'adresse 
http://explorer.msn.fr/intl.asp
Received on Fri Oct 26 09:20:34 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:11 PM GMT GMT