Lines Matching refs:NormalForm
798 using NormalForm = typedef
801 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()
805 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()
806 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
815 NormalForm Res; in makeCNF()
819 NormalForm::value_type Combined; in makeCNF()
830 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()
834 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()
835 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()
844 NormalForm Res; in makeDNF()
848 NormalForm::value_type Combined; in makeDNF()
861 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes()
903 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()
908 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes()
985 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
986 const NormalForm CNF1 = makeCNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
991 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
992 const NormalForm CNF2 = makeCNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()