Searched refs:NormalForm (Results 1 – 1 of 1) sorted by relevance
815 using NormalForm = typedef818 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()822 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()823 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()832 NormalForm Res; in makeCNF()836 NormalForm::value_type Combined; in makeCNF()847 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()851 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()852 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()861 NormalForm Res; in makeDNF()[all …]