RULE full_model_change_completeness_for_action_property

(* SCHEMA step_merged_ap_schema; *)
-- IN AP214
RULE full_model_change_completeness_for_action_property FOR (action_property );
   WHERE
      wr1:
         SIZEOF(QUERY (ap <* action_property| (ap.name = 'full model change') AND (SIZEOF(QUERY (apr <* USEDIN(ap, 'STEP_MERGED_AP_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')| (apr.name = 'original representation'))) = 0))) = 0;
      wr2:
         SIZEOF(QUERY (ap <* action_property| (ap.name = 'full model change') AND (SIZEOF(QUERY (apr <* USEDIN(ap, 'STEP_MERGED_AP_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')| (apr.name = 'replacement representation'))) = 0))) = 0;
      wr3:
         SIZEOF(QUERY (ap <* action_property| (SIZEOF(QUERY (apr1 <* USEDIN(ap, 'STEP_MERGED_AP_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')| (apr1.name = 'added elements') AND (SIZEOF(QUERY (apr2 <* USEDIN(ap, 'STEP_MERGED_AP_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')| (apr2.name = 'replacement representation') AND (SIZEOF(QUERY (i1 <* apr1.representation.items| (SIZEOF(QUERY (i2 <* apr2.representation.items| (i1 :=: i2))) > 0))) <> SIZEOF(apr1.representation.items)))) > 0))) > 0))) = 0;
      wr4:
         SIZEOF(QUERY (ap <* action_property| (SIZEOF(QUERY (apr1 <* USEDIN(ap, 'STEP_MERGED_AP_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')| (apr1.name = 'deleted elements') AND (SIZEOF(QUERY (apr2 <* USEDIN(ap, 'STEP_MERGED_AP_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY')| (apr2.name = 'original representation') AND (SIZEOF(QUERY (i1 <* apr1.representation.items| (SIZEOF(QUERY (i2 <* apr2.representation.items| (i1 :=: i2))) > 0))) <> SIZEOF(apr1.representation.items)))) > 0))) > 0))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00