Searched refs:getNumConstraints (Results 1 – 12 of 12) sorted by relevance
21 unsigned IntegerSet::getNumConstraints() const { in getNumConstraints() function in IntegerSet27 for (unsigned i = 0, e = getNumConstraints(); i < e; i++) in getNumEqualities()34 return getNumConstraints() - getNumEqualities(); in getNumInequalities()72 constraints.reserve(getNumConstraints()); in replaceDimsAndSymbols()
2531 int numConstraints = set.getNumConstraints(); in printIntegerSet()
91 EXPECT_EQ(simplex.getNumConstraints(), 0u); in TEST()314 for (unsigned i = 0; i < simplex.getNumConstraints(); ++i) in TEST()443 EXPECT_EQ(simplex.getNumConstraints(), 2u); in TEST()450 EXPECT_EQ(simplex.getNumConstraints(), 0u); in TEST()
83 unsigned getNumConstraints() const;
86 return static_cast<intptr_t>(unwrap(set).getNumConstraints()); in mlirIntegerSetGetNumConstraints()
1101 unsigned SimplexBase::getNumConstraints() const { return con.size(); } in getNumConstraints() function in SimplexBase1466 unsigned numCon = a.getNumConstraints() + b.getNumConstraints(); in makeProduct()1484 : ~(a.getNumConstraints() + ~index); in makeProduct()1625 simplexConstraintOffset(simplex.getNumConstraints()) {} in GBRSimplex()
627 if (tmpCst.getNumConstraints() >= kExplosionFactor * getNumVars()) { in isEmpty()1864 assert(newRel.getNumConstraints() == in fourierMotzkinEliminate()2239 os << getNumConstraints() << " constraints\n"; in printSpace()
310 unsigned offset = simplex.getNumConstraints(); in getSetDifference()
133 if (set.getNumConstraints() == 0) { in getFlattenedAffineExprs()169 assert(flatExprs.size() == set.getNumConstraints()); in FlatAffineValueConstraints()1521 if (getNumConstraints() == 0) in getAsIntegerSet()1557 SmallVector<bool, 16> eqFlags(getNumConstraints()); in getAsIntegerSet()1562 exprs.reserve(getNumConstraints()); in getAsIntegerSet()
175 unsigned getNumConstraints() const;
145 unsigned getNumConstraints() const { in getNumConstraints() function
279 for (unsigned i = 0, e = integerSet.getNumConstraints(); i < e; ++i) { in matchAndRewrite()