[ library(conjunto) | Reference Manual | Alphabetic Index ]
?Sterm `< ?Sterm1
Sterm is a subset of Sterm1.
- ?Sterm
- A set term.
- ?Sterm1
- A set term.
Description
   This constraint states that the set term Sterm has to be a subset of the
   set term Sterm1.  If both terms are known sets, this constraint checks
   the inclusion.  If either Sterm or Sterm1 is a known set, this
   constraint checks the inclusion and the unconsistent bounds of the set
   variables involved are modified.  If both terms contain set variables
   their domain bounds are checked and the constraint is delayed.  It is
   activated as soon as the upper bound of Sterm1 or the lower bound of
   Sterm is modified.
Fail Conditions
   Fails if Sterm can not be a subset of Sterm1.
Resatisfiable
   No.
Examples
[eclipse 3]: S `:: {1}.. {1,2,3,4}, S1 `:: {} .. {1,2,3},
 S `< S1.
S1 = S1{{1} .. {1, 2, 3}}
S = S{{1} .. {1, 2, 3}}
Delayed goals:
       S1{{1} .. {1, 2, 3}} sub_s S{{1} .. {1, 2, 3}}
yes.
See Also
`:: / 2