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