|
RULE unique_part_template_shape_model_for_geometric_template FOR (geometric_template_armx); LOCAL ptsm : SET OF part_template_shape_model := [ ] ; END_LOCAL ; WHERE wr1: SIZEOF ( QUERY ( gt <* geometric_template_armx | ( SIZEOF ( QUERY ( ptsm1 <* USEDIN ( gt , 'part_template_shape_with_parameters_xim.part_template_shape_model.shape_characterized_definition' ) | ( SIZEOF ( QUERY ( ptsm2 <* USEDIN ( gt , 'part_template_shape_with_parameters_xim.part_template_shape_model.shape_characterized_definition' ) | ptsm1 = ptsm2 ) ) > 1 ) ) ) > 0 ) ) ) = 0 ; END_RULE; -- unique_part_template_shape_model_for_geometric_template |
|
public class RUnique_part_template_shape_model_for_geometric_template public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |