Searched refs:isValidR (Results 1 – 1 of 1) sorted by relevance
1453 bool isValidR = isConjunctionDisjunctionTree(RHS, CanNegateR); in emitConjunctionDisjunctionTreeRec() local1454 assert(isValidR && "Valid conjunction/disjunction tree"); in emitConjunctionDisjunctionTreeRec()