Searched refs:addInequality (Results 1 – 9 of 9) sorted by relevance
21 simplex.addInequality({1, -1, 0}); in TEST()26 simplex.addInequality({-1, 1, -1}); in TEST()36 simplex.addInequality({1, -1}); // x >= 1. in TEST()46 simplex.addInequality(coeffs); in expectInequalityMakesSetEmpty()69 simplex.addInequality(coeffs[(run + i) % 4]); in TEST()87 simplex.addInequality(ineq); in simplexFromConstraints()222 simplex.addInequality({0}); // 0 >= 0. in TEST()264 simplex.addInequality({1, 0}); // x >= 0. in TEST()272 simplex.addInequality({0, 0}); // 0x >= 0. in TEST()280 simplex.addInequality({-1, 0}); // x <= 0. in TEST()[all …]
199 b.addInequality(ineq); in subtractRecursively()200 simplex.addInequality(ineq); in subtractRecursively()211 b.addInequality(ineq); in subtractRecursively()212 simplex.addInequality(ineq); in subtractRecursively()
409 dependenceDomain->addInequality(cst); in addDomainConstraints()556 dependenceDomain->addInequality(ineq); in addMemRefAccessConstraints()573 dependenceDomain->addInequality(ineq); in addMemRefAccessConstraints()693 dependenceDomain->addInequality(eq); in addOrderingConstraints()
163 addInequality(other.getInequality(r)); in FlatAffineConstraints()202 addInequality(flatExpr); in FlatAffineConstraints()253 addInequality(other.getInequality(r)); in append()1820 eq ? addEquality(ineq) : addInequality(ineq); in addLowerOrUpperBound()1879 void FlatAffineConstraints::addInequality(ArrayRef<int64_t> inEq) { in addInequality() function in FlatAffineConstraints1950 addInequality(bound); in addLocalFloorDiv()1956 addInequality(bound); in addLocalFloorDiv()2642 newFac.addInequality(ineq); in FourierMotzkinEliminate()2660 newFac.addInequality(ineq); in FourierMotzkinEliminate()2771 C.addInequality(A.getInequality(r)); in getCommonConstraints()[all …]
34 addInequality(constraints.getInequality(i)); in Simplex()360 void Simplex::addInequality(ArrayRef<int64_t> coeffs) { in addInequality() function in mlir::Simplex376 addInequality(coeffs); in addEquality()380 addInequality(negatedCoeffs); in addEquality()459 addInequality(fac.getInequality(i)); in intersectFlatAffineConstraints()
150 void addInequality(ArrayRef<int64_t> coeffs);
46 fac.addInequality(ineq); in makeFACFromConstraints()
90 fac.addInequality(ineq); in makeFACFromConstraints()
284 void addInequality(ArrayRef<int64_t> inEq);