Searched refs:CanNegateR (Results 1 – 1 of 1) sorted by relevance
1352 bool CanNegateR; in isConjunctionDisjunctionTree() local1353 if (!isConjunctionDisjunctionTree(O1, CanNegateR, Depth+1)) in isConjunctionDisjunctionTree()1359 if (!CanNegateL && !CanNegateR) in isConjunctionDisjunctionTree()1363 CanNegate = CanNegateL && CanNegateR; in isConjunctionDisjunctionTree()1452 bool CanNegateR; in emitConjunctionDisjunctionTreeRec() local1453 bool isValidR = isConjunctionDisjunctionTree(RHS, CanNegateR); in emitConjunctionDisjunctionTreeRec()1455 assert((CanNegateL || CanNegateR) && "Valid conjunction/disjunction tree"); in emitConjunctionDisjunctionTreeRec()