(* SCHEMA kinematic_structure_schema; *)
ENTITY universal_pair_range
SUBTYPE OF (simple_pair_range);
SELF\simple_pair_range.applies_to_pair : universal_pair;
lower_limit_first_rotation : rotational_range_measure;
upper_limit_first_rotation : rotational_range_measure;
lower_limit_second_rotation : rotational_range_measure;
upper_limit_second_rotation : rotational_range_measure;
WHERE
WR1: (('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
TYPEOF (lower_limit_first_rotation))
OR
('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
TYPEOF (upper_limit_first_rotation)))
XOR
(lower_limit_first_rotation < upper_limit_first_rotation);
WR2: (('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
TYPEOF (lower_limit_second_rotation))
OR
('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
TYPEOF (upper_limit_second_rotation)))
XOR
(lower_limit_second_rotation < upper_limit_second_rotation);
END_ENTITY;
|
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:00-04:00