Navigation

enumerated_number_set

An <enumerated_number_set> is a <class_of_number> and an <enumerated_set_of_class>.
EXAMPLE The set of integer numbers {3,4,5} can be represented by an instance of <enumerated_number_set>.

EXPRESS specification:

ENTITY enumerated_number_set
SUBTYPE OF ( class_of_number, enumerated_set_of_class);
END_ENTITY;

References (2):

Name Type Referred through Express-G
class_of_number Entity
Subtype
Diagram 5
enumerated_set_of_class Entity
Subtype
Diagram 25

Inheritance graph

ENTITY enumerated_number_set;
ENTITY thing;
id  :  STRING;
record_copy_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_creator  :  OPTIONAL possible_individual;
record_logically_deleted  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
why_deleted  :  OPTIONAL class_of_information_representation;
ENTITY abstract_object;
ENTITY class;
ENTITY class_of_abstract_object;
ENTITY class_of_class;
ENTITY class_of_number;
ENTITY thing;
id  :  STRING;
record_copy_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_creator  :  OPTIONAL possible_individual;
record_logically_deleted  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
why_deleted  :  OPTIONAL class_of_information_representation;
ENTITY abstract_object;
ENTITY class;
ENTITY class_of_abstract_object;
ENTITY class_of_class;
ENTITY enumerated_set_of_class;
ENTITY enumerated_number_set;
END_ENTITY;