Lines Matching refs:CanNegateL
1349 bool CanNegateL;
1350 if (!isConjunctionDisjunctionTree(O0, CanNegateL, Depth+1))
1359 if (!CanNegateL && !CanNegateR)
1363 CanNegate = CanNegateL && CanNegateR;
1446 bool CanNegateL;
1447 bool isValidL = isConjunctionDisjunctionTree(LHS, CanNegateL);
1455 assert((CanNegateL || CanNegateR) && "Valid conjunction/disjunction tree");
1459 if (!CanNegateL)