RULE nc_variable_compatible_initial_value

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC
RULE nc_variable_compatible_initial_value FOR (expression_item_representation_item, representation_item_relationship );
   WHERE
      WR1:
         0 = SIZEOF(QUERY (nv <* expression_item_representation_item| ('STEP_MERGED_AP_SCHEMA.NUMERIC_VARIABLE' IN TYPEOF(nv.item)) AND NOT (1 >= SIZEOF(QUERY (rir <* representation_item_relationship| (rir.description = 'initial value') AND (rir.relating_representation_item :=: nv))))));
      WR2:
         0 = SIZEOF(QUERY (rir <* representation_item_relationship| ((((rir.description = 'initial value') AND ('STEP_MERGED_AP_SCHEMA.EXPRESSION_ITEM_REPRESENTATION_ITEM' IN TYPEOF(rir.relating_representation_item))) AND ('STEP_MERGED_AP_SCHEMA.EXPRESSION_ITEM_REPRESENTATION_ITEM' IN TYPEOF(rir.related_representation_item))) AND ('STEP_MERGED_AP_SCHEMA.NUMERIC_VARIABLE' IN TYPEOF(rir.relating_representation_item\expression_item_representation_item.item))) AND NOT (('STEP_MERGED_AP_SCHEMA.INT_NUMERIC_VARIABLE' IN TYPEOF(rir.relating_representation_item\expression_item_representation_item.item)) AND ('STEP_MERGED_AP_SCHEMA.INT_LITERAL' IN TYPEOF(rir.related_representation_item\expression_item_representation_item.item)) OR ('STEP_MERGED_AP_SCHEMA.REAL_NUMERIC_VARIABLE' IN TYPEOF(rir.relating_representation_item\expression_item_representation_item.item)) AND ('STEP_MERGED_AP_SCHEMA.REAL_LITERAL' IN TYPEOF(rir.related_representation_item\expression_item_representation_item.item)))));
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00