Overview Schemas Index

classification_schema         

ENTITY complete_membership_of_non_empty_set
          SUBTYPE OF (complete_membership);
          members : SET [1:?] OF complete_membership_select;
END_ENTITY; -- complete_membership_of_non_empty_set

Entity data types and their attributes

classification_assignment
          assigned_class: group;
          role: classification_role;
complete_membership
          (DER) containing_set: class;
complete_membership_of_non_empty_set
          members: SET [1:?] OF complete_membership_select;

Users: by entity attributes

classification_assignment
complete_membership
complete_membership_of_non_empty_set

Users: by defined types, not used by any entity attribute

complete_membership_of_non_empty_set
          -

Global rules for this entity data type

          -