(* SCHEMA ap238_arm_schema; *)
(* ************************************************************ *) (* Slot *) (* ************************************************************ *) ENTITY slot (* m1 *) SUBTYPE OF (machining_feature); course_of_travel: travel_path; swept_shape: open_profile; end_conditions: LIST[0:2] OF slot_end_type; WHERE WR1: ( ( SIZEOF(QUERY (it <* SELF.end_conditions | ('AP238_ARM_SCHEMA.LOOP_SLOT_END_TYPE' IN TYPEOF(it)) )) = 1) AND (SIZEOF(end_conditions) = 1) ) OR (SIZEOF(end_conditions) <> 1); (* Informal propositions: - The entire travel_path lies in the local xy plane. - The travel_path is not self-intersecting. *) END_ENTITY;
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-11-21T09:54:01-05:00