Feature #5553
closed
Реализовать правило (AND (NOT (EQ expr const1)) (EQ expr const2)) => (EQ expr const2), если const2 != const1
Added by Igor Melnichenko over 9 years ago.
Updated almost 9 years ago.
Description
expr - выражение.
const1, const2 - константы.
- Status changed from New to Feedback
- % Done changed from 0 to 100
r780 needs review, may introduce regressions in client code.
- Subject changed from [transformer][ruleset] реализовать правило (AND (NOT (EQ expr const1)) (EQ expr const2)) => (EQ expr const2), если const2 != const1 to Реализовать правило (AND (NOT (EQ expr const1)) (EQ expr const2)) => (EQ expr const2), если const2 != const1
- Category set to Transformer
- Status changed from Feedback to Resolved
Mark the issue as resolved due to lack of negative feedback.
- Status changed from Resolved to Verified
- Status changed from Verified to Closed
Also available in: Atom
PDF