Lines Matching refs:NormalForm
813 using NormalForm = typedef
816 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()
820 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()
821 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
830 NormalForm Res; in makeCNF()
834 NormalForm::value_type Combined; in makeCNF()
845 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()
849 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()
850 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()
859 NormalForm Res; in makeDNF()
863 NormalForm::value_type Combined; in makeDNF()
876 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes()
918 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()
923 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes()
1000 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1001 const NormalForm CNF1 = makeCNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1006 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1007 const NormalForm CNF2 = makeCNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()