How to populate an EnumeratedNumberSet?

13 Feb. 2011, rev. 10 March 2011, rev. 24 March 2011, rev. 24 Nov. 2011

The way to populate an instance of EnumeratedNumberSet is shown in the diagram below.

Population of an EnumeratedNumberSet

Part 2 tells us:

EnumeratedNumberSet

An EnumeratedNumberSet is a ClassOfNumber and an EnumeratedSetOfClass.

EXAMPLE The set of integer numbers {3,4,5} can be represented by an instance of EnumeratedNumberSet.

EXPRESS specification:

ENTITY enumerated_number_set  

    SUBTYPE OF (class_of_number, enumerated_set_of_class);  

END_ENTITY;  

The sequence of the enumerated classes in the set is random. If that sequence is important to you, use the template discussed in the topic How to populate a MultidimensionalNumber?