RULE subtype_mandatory_action

(* SCHEMA structural_analysis_design; *)
  RULE subtype_mandatory_action FOR (action);

  WHERE
    wr1: (SIZEOF(QUERY ( act <* action | (NOT (
             'STRUCTURAL_ANALYSIS_DESIGN.DIRECTED_ACTION' IN TYPEOF(act))) )) 
             = 0);

  END_RULE; -- subtype_mandatory_action

[Top Level Definitions] [Exit]

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