# RE -Domain

From: Thirifay Olivier <olithiri_at_hotmail.com>
Date: Sun 28 Oct 2001 09:24:06 AM GMT
Message-ID: <OE31JsxzOEQ0ZolkmZM00001877@hotmail.com>
```Hello,

Thanks for your response but your suggrestion is not really what I want... I illustrate my problem with a bad example.

:- lib(fd).
:- lib(propia).

domaine(VARS):-
VARS=[DUREE,CODE,PAYS],
DUREE::0..5,
CODE::0..5,
PAYS::0..5.

result : [A{0..5},B{0..5},C{0..5}]

predicat(VARS):-
VARS=[DUREE,CODE,PAYS],
DUREE::0..5,
CODE::0..5,
PAYS::0..5,
((DUREE#>=1,CODE#>=1) ;(DUREE#=0,CODE#=0,PAYS#=0);(DUREE#=0,CODE#>0,PAYS#=0);(DUREE#>0,CODE#=0,PAYS#=0)).

results :
[A{1..5},B{1..5},C{0..5}]
[A{0},B{0},C{0}]
[A{0},B{1..5},C{0}]
[A{1..5},B{0},C{0}]

I would like to obtain with these solutions the parts of covered domain :
for example with [A{0},B{0},C{0}] and [A{0},B{1..5},C{0}], we obtain [A{0},B{0..5},C{0}], and so on.
We can see that the solutions [A{0}, B{0}, C{1..5}]  are not covered by the predicate predicat(VARS). Itůs what I would like to detect !

With the propia library, I obtain [A{0..5},B{0..5},C{0..5}] for the execution predicat([A,B,C]) infers most.
If I compare this response with [A{0..5},B{0..5},C{0..5}] (from predicate domain),  I can't find that some possibilities are missing in predicat(VARS)

Is there a way to find that with the built-in predicates ?

I hope it's clearer...
Thanks
Olivier
```
Received on Sun Oct 28 09:32:56 2001

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