Searched refs:NormalForm (Results 1 – 1 of 1) sorted by relevance
1247 using NormalForm = typedef1250 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()1254 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()1255 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()1264 NormalForm Res; in makeCNF()1268 NormalForm::value_type Combined; in makeCNF()1279 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()1283 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()1284 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()1293 NormalForm Res; in makeDNF()[all …]