Searched refs:NormalForm (Results 1 – 1 of 1) sorted by relevance
852 using NormalForm = typedef859 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()860 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()869 NormalForm Res; in makeCNF()873 NormalForm::value_type Combined; in makeCNF()888 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()898 NormalForm Res; in makeDNF()902 NormalForm::value_type Combined; in makeDNF()915 static bool subsumes(NormalForm PDNF, NormalForm QCNF, in subsumes()957 const NormalForm PDNF = makeDNF(*PNormalized); in subsumes()[all …]