ENTITY procure
(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* Modified for LPM/6 *)
ENTITY procure
SUBTYPE OF (structural_frame_process);
vendors : person_and_organization;
purchaser : person_and_organization;
purchased_products : LIST [1:?] OF product_item_select;
sales_contract : contract;
delivery_dates : LIST [1:?] OF calendar_date;
INVERSE
prices : SET [1:?] OF structural_frame_item_priced FOR priced_item;
WHERE
WRP23 : SIZEOF (delivery_dates) = SIZEOF (purchased_products);
END_ENTITY;
Explicit Attributes
Entity procure has the following local and inherited explicit attributes:
Derived Attributes
Entity procure has the following local and inherited derived attributes:
Inverse Attributes
Entity procure has the following local and inherited inverse attributes:
Supertypes
Entity procure inherits from the following supertypes:
structural_frame_item
structural_frame_process
Subtypes
No subtypesReferenced By
Entity procure and its supertypes are referenced by the following definitions:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:38-04:00