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