Lines Matching defs:Normalized

1425     auto Normalized =
1431                          Normalized
1433                                  std::move(*Normalized))
1706 NormalForm clang::makeCNF(const NormalizedConstraint &Normalized) {
1707   if (Normalized.isAtomic())
1708     return {{Normalized.getAtomicConstraint()}};
1710   else if (Normalized.isFoldExpanded())
1711     return {{Normalized.getFoldExpandedConstraint()}};
1713   NormalForm LCNF = makeCNF(Normalized.getLHS());
1714   NormalForm RCNF = makeCNF(Normalized.getRHS());
1715   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {
1738 NormalForm clang::makeDNF(const NormalizedConstraint &Normalized) {
1739   if (Normalized.isAtomic())
1740     return {{Normalized.getAtomicConstraint()}};
1742   else if (Normalized.isFoldExpanded())
1743     return {{Normalized.getFoldExpandedConstraint()}};
1745   NormalForm LDNF = makeDNF(Normalized.getLHS());
1746   NormalForm RDNF = makeDNF(Normalized.getRHS());
1747   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {