Navigation

enumerated_set_of_class

An <enumerated_set_of_class> is a <class_of_class> that is an enumerated set of the instances of <class>. Enumerated means that the full set of members is specified.
EXAMPLE {Plastic, 1.2kg, frame} is an <enumerated_set_of_class>. More generally {{A,B,C},{B,C,D},{C,D,E}} is an <enumerated_set_of_class>. Also "electrical engineering classes for ERDL V1.1" is an <enumerated_set_of_class>.

EXPRESS specification:

ENTITY enumerated_set_of_class
SUBTYPE OF ( class_of_class);
END_ENTITY;

References (6):

Name Type Referred through Express-G
class_of_class Entity
Subtype
Diagram 3
difference_of_set_of_class Entity
Attribute 'input'
Diagram 25
enumerated_number_set Entity
Supertype
Diagram 5
enumerated_property_set Entity
Supertype
Diagram 27
intersection_of_set_of_class Entity
Attribute 'input'
Diagram 25
union_of_set_of_class Entity
Attribute 'input'
Diagram 25

Inheritance graph

ENTITY enumerated_set_of_class;
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;
END_ENTITY;