Lines Matching refs:CanNegateR
1352 bool CanNegateR;
1353 if (!isConjunctionDisjunctionTree(O1, CanNegateR, Depth+1))
1359 if (!CanNegateL && !CanNegateR)
1363 CanNegate = CanNegateL && CanNegateR;
1452 bool CanNegateR;
1453 bool isValidR = isConjunctionDisjunctionTree(RHS, CanNegateR);
1455 assert((CanNegateL || CanNegateR) && "Valid conjunction/disjunction tree");