RULE restrict_classification_assignments

(* SCHEMA step_merged_ap_schema; *)

-- IN AP203e2/AP238 STEP-NC/AP242
RULE restrict_classification_assignments FOR (applied_classification_assignment );
   WHERE
      WR1:
         SIZEOF(QUERY (aia <* applied_classification_assignment| NOT class_assignment_is_valid(aia))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:20-04:00