Schema: Date_time_assignment_mim



SCHEMA Date_time_assignment_mim;

USE FROM Date_time_mim;    -- ISO/TS 10303-1010

USE FROM date_time_schema   -- ISO 10303-41
  (date,
   date_role,
   date_time_role);

USE FROM management_resources_schema   -- ISO 10303-41
  (date_and_time_assignment,
   date_assignment);


TYPE date_item = EXTENSIBLE SELECT;
END_TYPE;

TYPE date_and_time_item = EXTENSIBLE SELECT;
END_TYPE;

ENTITY applied_date_and_time_assignment
  SUBTYPE OF (date_and_time_assignment);
  items : SET[1:?] OF date_and_time_item;
END_ENTITY;

ENTITY applied_date_assignment
  SUBTYPE OF (date_assignment);
  items : SET[1:?] OF date_item;
END_ENTITY;

END_SCHEMA;  -- Date_time_assignment_mim