Lines Matching refs:NormalForm
1350 using NormalForm = typedef
1353 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()
1357 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()
1358 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
1367 NormalForm Res; in makeCNF()
1371 NormalForm::value_type Combined; in makeCNF()
1382 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()
1386 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()
1387 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()
1396 NormalForm Res; in makeDNF()
1400 NormalForm::value_type Combined; in makeDNF()
1413 static bool subsumes(const NormalForm &PDNF, const NormalForm &QCNF, in subsumes()
1455 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()
1460 const NormalForm QCNF = makeCNF(*QNormalized); in subsumes()
1569 const NormalForm DNF1 = makeDNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1570 const NormalForm CNF1 = makeCNF(*Normalized1); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1575 const NormalForm DNF2 = makeDNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1576 const NormalForm CNF2 = makeCNF(*Normalized2); in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()