Lines Matching defs:funcA

195   MultiAffineFunction funcA = *this;
197   funcA.mergeDivs(funcB);
200   // of funcA is lexicographically larger/smaller than funcB. This is done by
217   PresburgerSpace resultSpace = funcA.getDomainSpace();
222       /*numReservedEqualities=*/funcA.getNumOutputs(),
226   for (unsigned i = 0, e = funcA.getNumDivs(); i < e; ++i) {
227     levelSet.addInequality(getDivUpperBound(funcA.divs.getDividend(i),
228                                             funcA.divs.getDenom(i),
229                                             funcA.divs.getDivOffset() + i));
230     levelSet.addInequality(getDivLowerBound(funcA.divs.getDividend(i),
231                                             funcA.divs.getDenom(i),
232                                             funcA.divs.getDivOffset() + i));
235   for (unsigned level = 0; level < funcA.getNumOutputs(); ++level) {
238         subtractExprs(funcA.getOutputExpr(level), funcB.getOutputExpr(level));