RULE transition_feature_on_part_boundary FOR (transition_feature); WHERE wr1: SIZEOF (QUERY (tf <* transition_feature | NOT (tf.product_definitional))) = 0; END_RULE; -- transition_feature_on_part_boundary |
public class RTransition_feature_on_part_boundary public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |