Changes between Version 1 and Version 2 of Ticket #11309, comment 57


Ignore:
Timestamp:
06/01/12 20:57:00 (7 years ago)
Author:
kini
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11309, comment 57

    v1 v2  
    1 Given two relations `a ? b` and `c ! d`, first I check whether `?` and `!` are the same relation. If so, I have a couple of cases. One, if `?` and `!` are both `==` or are both `!=`, then I check whether `a == c` and `b == d`, or `a == d` and `b == c`. Two, if `?` and `!` are some other relation than `==` or `!=`, then I only allow the case `a == c` and `b == d`.
     1Given two relational expressions `a ? b` and `c ! d`, first I check whether `?` and `!` are the same relation. If so, I have a couple of cases. One, if `?` and `!` are both `==` or are both `!=`, then I check whether `a == c` and `b == d`, or `a == d` and `b == c`. Two, if `?` and `!` are some other relation than `==` or `!=`, then I only allow the case `a == c` and `b == d`.
    22
    33If `?` and `!` are different from each other, I check whether they are reversals of each other (like one is `<` and the other is `>`, etc.). If that is the case, then I allow `a == d` and `b == c`.
    44
    5 In all other cases, the two relations are considered unequal.
     5In all other cases, the two relational expressions are considered unequal.
    66
    77... that explanation looks kind of confusing. Maybe it's better if you just look at the patch... it's probably easier to understand :)