reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1865 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); 1871 assert(!MustBeFirstR && "Valid conjunction/disjunction tree"); 1874 std::swap(MustBeFirstL, MustBeFirstR); 1885 assert(!MustBeFirstR && "invalid conjunction/disjunction tree");