Searched refs:NormalForm (Results 1 – 1 of 1) sorted by relevance
798 using NormalForm = typedef801 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()805 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()806 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()815 NormalForm Res; in makeCNF()819 NormalForm::value_type Combined; in makeCNF()830 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()834 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()835 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()844 NormalForm Res; in makeDNF()[all …]