Enum transform::union_cancel::BranchCmp

enum BranchCmp {
    Equivalent,
    Inverse,
    Distinct,
}

Result of the comparison of two branches of a union for cancellation purposes.

Variants

Equivalent

The two branches are equivalent in the sense the the produce the same exact results.

Inverse

The two branches are equivalent, but one of them produces negated row count values, and hence, they cancel each other.

Distinct

The two branches are not equivalent in any way.

Implementations

impl BranchCmp

fn inverse(self) -> Self

Modify the result of the comparison when a Negate operator is found at the top of one the branches just compared.