-
Notifications
You must be signed in to change notification settings - Fork 1
class_of_class
GCHQDeveloper42 edited this page Mar 27, 2023
·
5 revisions
Note: More formally this means that any member_of
the powerset of class
is a valid member_of
class_of_class
.
ENTITY class_of_class
SUBTYPE OF(class_of_abstract_object);
END_ENTITY;
Inheritance Graph
ENTITY class_of_class;
ENTITY thing;
member__of : OPTIONAL SET [1:?] OF class;
ENTITY abstract_object;
ENTITY class;
member_of : OPTIONAL SET [1:?] OF class_of_class;
has_superclass : OPTIONAL SET [1:?] OF class;
ENTITY class_of_abstract_object;
ENTITY class_of_class;
END_ENTITY;