RULE subtype_exclusiveness_replicate_feature

(* SCHEMA AUTOMOTIVE_DESIGN; *)

 
RULE subtype_exclusiveness_replicate_feature FOR (replicate_feature);
WHERE
  wr1 : SIZEOF(QUERY(rf <* replicate_feature | NOT type_check_function(rf, [
    'AUTOMOTIVE_DESIGN.' + 'CIRCULAR_PATTERN', 'AUTOMOTIVE_DESIGN.' + 
    'FEATURE_PATTERN', 'AUTOMOTIVE_DESIGN.' + 'MODIFIED_PATTERN', 
    'AUTOMOTIVE_DESIGN.' + 'RECTANGULAR_PATTERN'], 3))) = 0;
END_RULE; -- 10303-214: automotive_design

[Top Level Definitions] [Exit]

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