[ library(conjunto) | Reference Manual | Alphabetic Index ]
#(?Sterm,?Var)
Var is the cardinality of the set term Sterm.
- ?Sterm
- A set term or a ground set.
- ?Var
- A free variable, a domain variable or an integer.
Description
   Var is the cardinality of the set term Sterm.  If Sterm is a known set
   and Var is free, Var is instanciated to the cardinality of Sterm.  If
   both are known, the predicate checks that Var is the cardinality of
   Sterm.  If Sterm is a set variable and Var is free, Var becomes a domain
   variable representing the set term cardinality.  The predicate is
   delayed and activated as soon as one of the bounds of Sterm or Var is
   modified.  If Sterm is a set variable and and Var is a domain variable
   it checks that Var contains the cardinality of Sterm.  It might infer a
   modification of the bounds of the set domain.
Fail Conditions
   None.
Resatisfiable
   No.
Examples
eclipse 3]: S `:: {}..{c,d}, S1= {1,2,3}, #(S \/ S1, V).
S = S{{} .. {c, d}}
S1 = {1, 2, 3}
V = Card{[3..5]}
Delayed goals:
        union_s({1, 2, 3}, S{{} .. {c, d}},
               R{{1, 2, 3} .. {1, 2, 3, c, d}})
        car_s(R{{1, 2, 3} .. {1, 2, 3, c, d}}, Card{[3..5]})
yes.
See Also
`:: / 2, `= / 2