Schema: Classification_arm



SCHEMA Classification_arm;

USE FROM Class_arm;    -- ISO/TS 10303-1070


TYPE classification_select = EXTENSIBLE SELECT;
END_TYPE;

TYPE complete_membership_select = EXTENSIBLE SELECT;
END_TYPE;

ENTITY Classification;
  classified : classification_select;
  classifier : Class;
END_ENTITY;

ENTITY Complete_membership;
  containing_set : Class;
  members : SET[0:?] OF complete_membership_select;
END_ENTITY;

END_SCHEMA;  -- Classification_arm