View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Attributes | Operations | Relations | Constraints

---

Parent Package: constraint_model
Class CARDINALITY
Expresses constraints on the cardinality of container objects which are the values of multiply-valued attributes, including uniqueness and ordering, providing the means to state that a container acts like a logical list, set or bag. The cardinality cannot contradict the cardinality of the corresponding attribute within the relevant reference model.

Attributes
Signature	Optionality	Multiplicity	Constant	Documentation
interval : Interval<Integer>	1	--		The interval (range) of this cardinality.
is_ordered : Boolean	1	--		True if the members of the container attribute to which this cardinality refers are ordered.
is_unique : Boolean	1	--		True if the members of the container attribute to which this cardinality refers are unique.

Operations
Signature	Constraints	Documentation
is_bag() : Boolean	post: is_bag=not is_ordered and not is_unique	True if the semantics of this cardinality represent a set, i.e. unordered, unique membership.
is_list() : Boolean	post: is_list=is_ordered and not is_unique	True if the semantics of this cardinality represent a list, i.e. ordered, non-unique membership.
is_set() : Boolean	post: is_set=not is_ordered and is_unique	True if the semantics of this cardinality represent a bag, i.e. unordered, non-unique membership.

Constraints
Name	Expression
validity	inv: not interval.lower_unbounded