Searched refs:Conjunction (Results 1 – 1 of 1) sorted by relevance
745 auto Conjunction = fromConstraintExpr(S, D, E[0]); in fromConstraintExprs() local746 if (!Conjunction) in fromConstraintExprs()752 *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction), in fromConstraintExprs()755 return Conjunction; in fromConstraintExprs()