Searched refs:isValidL (Results 1 – 1 of 1) sorted by relevance
1447 bool isValidL = isConjunctionDisjunctionTree(LHS, CanNegateL); in emitConjunctionDisjunctionTreeRec() local1448 assert(isValidL && "Valid conjunction/disjunction tree"); in emitConjunctionDisjunctionTreeRec()1449 (void)isValidL; in emitConjunctionDisjunctionTreeRec()