[ 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