RULE subtype_exclusiveness_contract

(* SCHEMA process_planning_schema; *)

  RULE subtype_exclusiveness_contract FOR (contract);

  WHERE
    wr1: SIZEOF(QUERY ( a <* contract | (NOT type_check_function(a,[
             'PROCESS_PLANNING_SCHEMA.FIXTURE_CONTRACT',
             'PROCESS_PLANNING_SCHEMA.PART_CONTRACT',
             'PROCESS_PLANNING_SCHEMA.TOOL_CONTRACT'],3)) )) = 0;

  END_RULE; -- subtype_exclusiveness_contract

[Top Level Definitions] [Exit]

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