Searched refs:addEquality (Results 1 – 8 of 8) sorted by relevance
38 simplex.addEquality({1, 0}); // x == 0. in TEST()89 simplex.addEquality(eq); in simplexFromConstraints()231 simplex.addEquality({0}); // 0 == 0. in TEST()239 simplex.addEquality({1, 0}); // x == 0. in TEST()248 simplex.addEquality({0, 0}); // 0x == 0. in TEST()256 simplex.addEquality({-1, 0}); // -x == 0. in TEST()291 simplex.addEquality({-1, 0, 1, 0}); // u = w. in TEST()
36 addEquality(constraints.getEquality(i)); in Simplex()375 void Simplex::addEquality(ArrayRef<int64_t> coeffs) { in addEquality() function in mlir::Simplex461 addEquality(fac.getEquality(i)); in intersectFlatAffineConstraints()706 simplex.addEquality(getCoeffsForDirection(dir)); in addEqualityForDirection()1092 addEquality(basisCoeffs); in findIntegerSample()
161 void addEquality(ArrayRef<int64_t> coeffs);
407 dependenceDomain->addEquality(cst); in addDomainConstraints()514 dependenceDomain->addEquality(eq); in addMemRefAccessConstraints()695 dependenceDomain->addEquality(eq); in addOrderingConstraints()735 dependenceDomain->addEquality(eq); in computeDirectionVector()
166 addEquality(other.getEquality(r)); in FlatAffineConstraints()200 addEquality(flatExpr); in FlatAffineConstraints()256 addEquality(other.getEquality(r)); in append()526 addEquality(eqToAdd); in composeMap()595 addEquality(eqToAdd); in composeMatchingMap()685 addEquality(eq); in addAffineForOpDomain()1820 eq ? addEquality(ineq) : addInequality(ineq); in addLowerOrUpperBound()1872 void FlatAffineConstraints::addEquality(ArrayRef<int64_t> eq) { in addEquality() function in FlatAffineConstraints2675 newFac.addEquality(eq); in FourierMotzkinEliminate()2779 C.addEquality(A.getEquality(r)); in getCommonConstraints()
44 fac.addEquality(eq); in makeFACFromConstraints()
88 fac.addEquality(eq); in makeFACFromConstraints()
286 void addEquality(ArrayRef<int64_t> eq);