670     auto Normalized =  in getNormalizedAssociatedConstraints()  local
676                          Normalized  in getNormalizedAssociatedConstraints()
678                                  std::move(*Normalized))  in getNormalizedAssociatedConstraints()
816 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()  argument
817   if (Normalized.isAtomic())  in makeCNF()
818     return {{Normalized.getAtomicConstraint()}};  in makeCNF()
820   NormalForm LCNF = makeCNF(Normalized.getLHS());  in makeCNF()
821   NormalForm RCNF = makeCNF(Normalized.getRHS());  in makeCNF()
822   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
845 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()  argument
846   if (Normalized.isAtomic())  in makeDNF()
847     return {{Normalized.getAtomicConstraint()}};  in makeDNF()
849   NormalForm LDNF = makeDNF(Normalized.getLHS());  in makeDNF()
850   NormalForm RDNF = makeDNF(Normalized.getRHS());  in makeDNF()
851   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()