ENTITY point_on_planar_curve_pair_range

(* SCHEMA kinematic_structure_schema; *)

ENTITY point_on_planar_curve_pair_range
  SUBTYPE OF (simple_pair_range);
  SELF\simple_pair_range.applies_to_pair : point_on_planar_curve_pair;
  range_on_pair_curve                    : trimmed_curve;
  lower_limit_yaw                        : rotational_range_measure;
  upper_limit_yaw                        : rotational_range_measure;
  lower_limit_pitch                      : rotational_range_measure;
  upper_limit_pitch                      : rotational_range_measure;
  lower_limit_roll                       : rotational_range_measure;
  upper_limit_roll                       : rotational_range_measure;
WHERE
  WR1: SELF\simple_pair_range.applies_to_pair\
           point_on_planar_curve_pair.pair_curve
       :=: range_on_pair_curve.basis_curve;
  WR2: (('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
         TYPEOF (lower_limit_yaw))
        OR
        ('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
         TYPEOF (upper_limit_yaw)))
       XOR
       (lower_limit_yaw < upper_limit_yaw);
  WR3: (('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
         TYPEOF (lower_limit_pitch))
        OR
        ('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
         TYPEOF (upper_limit_pitch)))
       XOR
       (lower_limit_pitch < upper_limit_pitch);
  WR4: (('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
         TYPEOF (lower_limit_roll))
        OR
        ('KINEMATIC_STRUCTURE_SCHEMA.UNLIMITED_RANGE' IN
         TYPEOF (upper_limit_roll)))
       XOR
       (lower_limit_roll < upper_limit_roll);
END_ENTITY;

Explicit Attributes

Derived Attributes

Inverse Attributes

Supertypes

Subtypes

Referenced By

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:00-04:00