RULE subtype_exclusiveness_characterized_object

(* SCHEMA process_planning_schema; *)

  RULE subtype_exclusiveness_characterized_object FOR (
             characterized_object);

  WHERE
    wr1: SIZEOF(QUERY ( a <* characterized_object | (NOT 
             type_check_function(a,['PROCESS_PLANNING_SCHEMA.DOCUMENT_FILE',
             'PROCESS_PLANNING_SCHEMA.FEATURE_DEFINITION',
             'PROCESS_PLANNING_SCHEMA.FEATURE_COMPONENT_DEFINITION'],3)) )) 
             = 0;

  END_RULE; -- subtype_exclusiveness_characterized_object

[Top Level Definitions] [Exit]

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