Searched refs:MustBeFirstR (Results 1 – 1 of 1) sorted by relevance
1670 bool MustBeFirstR; in canEmitConjunction() local1671 if (!canEmitConjunction(O1, CanNegateR, MustBeFirstR, IsOR, Depth+1)) in canEmitConjunction()1674 if (MustBeFirstL && MustBeFirstR) in canEmitConjunction()1692 MustBeFirst = MustBeFirstL || MustBeFirstR; in canEmitConjunction()1761 bool MustBeFirstR; in emitConjunctionRec() local1762 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); in emitConjunctionRec()1768 assert(!MustBeFirstR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()1771 std::swap(MustBeFirstL, MustBeFirstR); in emitConjunctionRec()1782 assert(!MustBeFirstR && "invalid conjunction/disjunction tree"); in emitConjunctionRec()