RULE restrict_class_system_assignment_for_approval_status FOR (approval_status); WHERE wr1: SIZEOF ( QUERY ( ent <* approval_status | NOT at_most_one_class_system(ent) ))=0; END_RULE; -- restrict_class_system_assignment_for_approval_status |
public class RRestrict_class_system_assignment_for_approval_status public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |