RULE subtype_exclusiveness_effectivity

(* SCHEMA AUTOMOTIVE_DESIGN; *)

 
RULE subtype_exclusiveness_effectivity FOR (effectivity);
WHERE
  wr1 : SIZEOF(QUERY(e <* effectivity | NOT type_check_function(e, [
    'AUTOMOTIVE_DESIGN.' + 'PRODUCT_DEFINITION_EFFECTIVITY', 
    'AUTOMOTIVE_DESIGN.' + 'TIME_INTERVAL_BASED_EFFECTIVITY'], 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