[ library(cardinal) | Reference Manual | Alphabetic Index ]

?SetVar1 `>= ?SetVar2

Set inclusion constraint
SetVar1
A set variable.
SetVar2
A variable.

Description

Constrain sets SetVar1 and SetVar2 so that SetVar1 contains SetVar2.

If SetVar2 is not yet a set domain variable it is declared as such, using SetVar1's lub.

Fail Conditions

Fails if SetVar1 can not contain SetVar2.

Resatisfiable

No.

Examples

?- [7,8,9] `>= [7,9], [7,8,9] `>= [7,8,9], [7,8,9] `>= [], [7,8,9] `>= [9].
yes

?- [1,7,9] `>= [7,8].
no

?- X `:: [a]+[b,c,d], Y `:: []+[a,b,c,d,e,f], X `>= Y, poss(Y,PY).
PY = [a,b,c,d]

?- X `:: [a]+[b,c,d], Y `:: []+[a,b,c,d,e,f], Y `>= X, glb(Y,GY).
GY = [a]

?- X `:: [a]+[b,c,d,z]:CX, Y `:: []+[a,b,c,d,e,f]:CY, X `>= Y, CX=2, fd:maxdomain(CY,MaxCY).
MaxCY = 2

?- X `:: [a]+[b,c,d,z]:CX, Y `:: []+[a,b,c,d,e,f]:CY, X `>= Y, CY=3, fd:mindomain(CX,MinCX).
MinCX = 3.

See Also

`< / 2, `= / 2