Searched refs:MustBeFirstR (Results 1 – 1 of 1) sorted by relevance
2588 bool MustBeFirstR; in canEmitConjunction() local2589 if (!canEmitConjunction(O1, CanNegateR, MustBeFirstR, IsOR, Depth+1)) in canEmitConjunction()2592 if (MustBeFirstL && MustBeFirstR) in canEmitConjunction()2610 MustBeFirst = MustBeFirstL || MustBeFirstR; in canEmitConjunction()2679 bool MustBeFirstR; in emitConjunctionRec() local2680 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); in emitConjunctionRec()2686 assert(!MustBeFirstR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()2689 std::swap(MustBeFirstL, MustBeFirstR); in emitConjunctionRec()2700 assert(!MustBeFirstR && "invalid conjunction/disjunction tree"); in emitConjunctionRec()