How to populate an EnumeratedNumberSet?

latest update 24 Febr. 2015

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


Population of an EnumeratedNumberSet

Part 2 tells us:


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);  


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?