|
RULE chemical_element_constraint FOR (product_armx); WHERE wr1: SIZEOF ( QUERY ( p <* product_armx | ( ( 'chemical_substance_xim.' + 'substance' IN TYPEOF ( p ) ) AND ( ( p \ product . name ) IN chemical_elements ) ) OR ( NOT ( 'chemical_substance_xim.' + 'substance' IN TYPEOF ( p ) ) AND NOT ( ( p \ product . name ) IN chemical_elements ) ) ) ) = SIZEOF ( product_armx ) ; END_RULE; -- chemical_element_constraint |
|
public class RChemical_element_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |