Searched refs:ubCoeff (Results 1 – 1 of 1) sorted by relevance
1825 int64_t ubCoeff = -atIneq(ubPos, pos); in fourierMotzkinEliminate() local1830 assert(lbCoeff >= 1 && ubCoeff >= 1 && "bounds wrongly identified"); in fourierMotzkinEliminate()1831 int64_t lcm = mlir::lcm(lbCoeff, ubCoeff); in fourierMotzkinEliminate()1832 ineq.push_back(atIneq(ubPos, l) * (lcm / ubCoeff) + in fourierMotzkinEliminate()1839 ineq[ineq.size() - 1] += lbCoeff * ubCoeff - lbCoeff - ubCoeff + 1; in fourierMotzkinEliminate()