Searched refs:NormalForm (Results 1 – 2 of 2) sorted by relevance
85 using NormalForm = variable92 NormalForm makeCNF(const NormalizedConstraint &Normalized);98 NormalForm makeDNF(const NormalizedConstraint &Normalized);196 bool subsumes(const NormalForm &PDNF, const NormalForm &QCNF, in subsumes()250 NormalForm PDNF = makeDNF(*PNormalized); in subsumes()256 NormalForm QCNF = makeCNF(*QNormalized); in subsumes()275 NormalForm PDNF = makeDNF(this->Constraint); in subsumes()276 NormalForm QCNF = makeCNF(Other.Constraint); in subsumes()
1686 NormalForm clang::makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()1693 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()1694 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()1703 NormalForm Res; in makeCNF()1707 NormalForm::value_type Combined; in makeCNF()1718 NormalForm clang::makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()1725 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()1726 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()1735 NormalForm Res; in makeDNF()1739 NormalForm::value_type Combined; in makeDNF()[all …]