Lines Matching defs:Conjunction

255   bool Conjunction = FE->getOperator() == BinaryOperatorKind::BO_LAnd;
269     if (Conjunction != Satisfaction.IsSatisfied)
283     if (!Conjunction && IsRHSSatisfied) {
296     if (Conjunction != IsRHSSatisfied)
316     Satisfaction.IsSatisfied = Conjunction;
1574   auto Conjunction = fromConstraintExpr(S, D, E[0]);
1575   if (!Conjunction)
1581     *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction),
1584   return Conjunction;
1754   // Conjunction