|
RULE solution_definition_requires_solution_category FOR (product_definition); LOCAL solution_definitions : SET OF product_definition := [ ] ; END_LOCAL ; solution_definitions := QUERY ( pd <* product_definition | ( pd . frame_of_reference . name = 'alternative definition' ) ) ; WHERE wr1: SIZEOF ( QUERY ( pd <* solution_definitions | ( SIZEOF ( QUERY ( prpc <* USEDIN ( pd . formation . of_product , 'alternative_solution_mim' + '.product_related_product_category.products' ) | prpc . name = 'alternative solution' ) ) = 0 ) ) ) = 0 ; END_RULE; -- solution_definition_requires_solution_category |
|
public class RSolution_definition_requires_solution_category public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |