(* SCHEMA kinematic_structure_schema; *)
ENTITY rack_and_pinion_pair_range
SUBTYPE OF (simple_pair_range);
SELF\simple_pair_range.applies_to_pair : rack_and_pinion_pair;
lower_limit_rack_displacement : translational_range_measure;
upper_limit_rack_displacement : translational_range_measure;
WHERE
WR1: (('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
TYPEOF (lower_limit_rack_displacement))
OR
('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
TYPEOF (upper_limit_rack_displacement)))
XOR
(lower_limit_rack_displacement < upper_limit_rack_displacement);
END_ENTITY;
|
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:00-04:00