Searched refs:ValidR (Results 1 – 1 of 1) sorted by relevance
1762 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); in emitConjunctionRec() local1763 assert(ValidR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()1764 (void)ValidR; in emitConjunctionRec()