Searched refs:MustBeFirstR (Results 1 – 1 of 1) sorted by relevance
2666 bool MustBeFirstR; in canEmitConjunction() local2667 if (!canEmitConjunction(O1, CanNegateR, MustBeFirstR, IsOR, Depth+1)) in canEmitConjunction()2670 if (MustBeFirstL && MustBeFirstR) in canEmitConjunction()2688 MustBeFirst = MustBeFirstL || MustBeFirstR; in canEmitConjunction()2757 bool MustBeFirstR; in emitConjunctionRec() local2758 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); in emitConjunctionRec()2764 assert(!MustBeFirstR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()2767 std::swap(MustBeFirstL, MustBeFirstR); in emitConjunctionRec()2778 assert(!MustBeFirstR && "invalid conjunction/disjunction tree"); in emitConjunctionRec()