From: Olivier Thirifay <olithiri_at_hotmail.com>

Date: Fri 26 Oct 2001 08:15:22 AM GMT

Message-ID: <F169duuJNc3JPv4ucOK00002ab1@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.aspReceived 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
*