[ library(cardinal) | Third Party Libraries | Reference Manual | Alphabetic Index ]

# struct cardinal(domain, cardinality, minimum, maximum, union, bounded, glb, lub, bound)

Cardinal attributes of a set variable

## Fields

domain
  Set domain in the form [Glb:NIn,Poss:NMax], where Glb is the set's glb, NIn its cardinality, Poss is its poss (i.e. its lub\glb), and NMax is the lub's cardinality (i.e. NIn + #(Poss)). If it is a set of sets and a union function attribute has been declared, then each element of Poss comes annotated with its respective length.
cardinality
  Cardinality function (an integer or an FD variable).
minimum
  Minimum function (an integer or an FD variable), for sets of integers. Free variable if unused.
maximum
  Maximum function (an integer or an FD variable), for sets of integers. Free variable if unused.
union
  Union function, for sets of sets. Free variable if unused; otherwise, a list in the form [UnionVar, GlbU+PossU, Singles, Lengths], where:

      UnionVar: A set (variable or ground) corresponding to the union of the set's elements
      	(sets themselves);
      GlbU: Set union of the set's glb;
      PossU: Set of possible union elements with counters (X:N), i.e. an ordered
      	list of all elements in the sets in set's poss (lub\glb)
      	with the number of occurrences attached
      Singles: Set of elements where N=1 in PossU

bounded
  Suspension list.
glb
  Suspension list.
lub
  Suspension list.
bound
  Suspension list.