Lines Matching defs:Normalized

1405     auto Normalized =
1411                          Normalized
1413                                  std::move(*Normalized))
1686 NormalForm clang::makeCNF(const NormalizedConstraint &Normalized) {
1687   if (Normalized.isAtomic())
1688     return {{Normalized.getAtomicConstraint()}};
1690   else if (Normalized.isFoldExpanded())
1691     return {{Normalized.getFoldExpandedConstraint()}};
1693   NormalForm LCNF = makeCNF(Normalized.getLHS());
1694   NormalForm RCNF = makeCNF(Normalized.getRHS());
1695   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {
1718 NormalForm clang::makeDNF(const NormalizedConstraint &Normalized) {
1719   if (Normalized.isAtomic())
1720     return {{Normalized.getAtomicConstraint()}};
1722   else if (Normalized.isFoldExpanded())
1723     return {{Normalized.getFoldExpandedConstraint()}};
1725   NormalForm LDNF = makeDNF(Normalized.getLHS());
1726   NormalForm RDNF = makeDNF(Normalized.getRHS());
1727   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {