Searched refs:ubCoeff (Results 1 – 1 of 1) sorted by relevance
2624 int64_t ubCoeff = -atIneq(ubPos, pos); in FourierMotzkinEliminate() local2629 assert(lbCoeff >= 1 && ubCoeff >= 1 && "bounds wrongly identified"); in FourierMotzkinEliminate()2630 int64_t lcm = mlir::lcm(lbCoeff, ubCoeff); in FourierMotzkinEliminate()2631 ineq.push_back(atIneq(ubPos, l) * (lcm / ubCoeff) + in FourierMotzkinEliminate()2638 ineq[ineq.size() - 1] += lbCoeff * ubCoeff - lbCoeff - ubCoeff + 1; in FourierMotzkinEliminate()