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