(* 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