709     auto Normalized =  in getNormalizedAssociatedConstraints()  local
715                          Normalized  in getNormalizedAssociatedConstraints()
717                                  std::move(*Normalized))  in getNormalizedAssociatedConstraints()
855 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()  argument
856   if (Normalized.isAtomic())  in makeCNF()
857     return {{Normalized.getAtomicConstraint()}};  in makeCNF()
859   NormalForm LCNF = makeCNF(Normalized.getLHS());  in makeCNF()
860   NormalForm RCNF = makeCNF(Normalized.getRHS());  in makeCNF()
861   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
884 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()  argument
885   if (Normalized.isAtomic())  in makeDNF()
886     return {{Normalized.getAtomicConstraint()}};  in makeDNF()
888   NormalForm LDNF = makeDNF(Normalized.getLHS());  in makeDNF()
889   NormalForm RDNF = makeDNF(Normalized.getRHS());  in makeDNF()
890   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()