Schema: Part_view_definition_arm
SCHEMA Part_view_definition_arm;
USE FROM
Part_and_version_identification_arm;
-- ISO/TS 10303-1022
USE FROM
Product_view_definition_arm;
-- ISO/TS 10303-1019
ENTITY Part_view_definition
SUBTYPE OF (Product_view_definition);
SELF\Product_view_definition.defined_version : Part_version;
END_ENTITY;
RULE
part_view_definition_constraint FOR
(Product_view_definition);
WHERE
WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'PART_VIEW_DEFINITION_ARM.' + 'PART_VIEW_DEFINITION'
IN TYPEOF (pvd) ) ) AND ( 'PART_VIEW_DEFINITION_ARM.' + 'PART_VERSION' IN TYPEOF ( pvd.defined_version)
) ) ) =0 ;
END_RULE;
END_SCHEMA; -- Part_view_definition_arm