1087     auto Normalized =  in getNormalizedAssociatedConstraints()  local
1093                          Normalized  in getNormalizedAssociatedConstraints()
1095                                  std::move(*Normalized))  in getNormalizedAssociatedConstraints()
1250 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()  argument
1251   if (Normalized.isAtomic())  in makeCNF()
1252     return {{Normalized.getAtomicConstraint()}};  in makeCNF()
1254   NormalForm LCNF = makeCNF(Normalized.getLHS());  in makeCNF()
1255   NormalForm RCNF = makeCNF(Normalized.getRHS());  in makeCNF()
1256   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
1279 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()  argument
1280   if (Normalized.isAtomic())  in makeDNF()
1281     return {{Normalized.getAtomicConstraint()}};  in makeDNF()
1283   NormalForm LDNF = makeDNF(Normalized.getLHS());  in makeDNF()
1284   NormalForm RDNF = makeDNF(Normalized.getRHS());  in makeDNF()
1285   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()