Searched refs:NormalForm (Results 1 – 1 of 1) sorted by relevance
1350 using NormalForm = typedef1357 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()1386 NormalForm LDNF = makeDNF(Normalized.getLHS()); 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()[all …]