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