Lines Matching refs:getNumEqualities
59 equalities.reserveRows(equalities.getNumRows() + other.getNumEqualities()); in append()
64 for (unsigned r = 0, e = other.getNumEqualities(); r < e; r++) { in append()
136 for (unsigned i = poly.getNumEqualities(); i > 0; i--) in removeConstraintsInvolvingVarRange()
145 return {getSpace(), getNumInequalities(), getNumEqualities()}; in getCounts()
165 removeEqualityRange(counts.getNumEqs(), getNumEqualities()); in truncate()
429 for (unsigned r = 0, e = getNumEqualities(); r < e; r++) { in getLowerAndUpperBoundIndices()
475 unsigned e = isEq ? getNumEqualities() : getNumInequalities(); in findConstraintWithNonZeroAt()
485 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) in normalizeConstraintsByGCD()
495 unsigned numRows = isEq ? getNumEqualities() : getNumInequalities(); in hasInvalidConstraint()
658 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) { in isEmptyByGCDTest()
699 Matrix dirs(boundedIneqs.size() + getNumEqualities(), dirsNumCols); in getBoundedDirections()
710 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) { in getBoundedDirections()
885 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) { in containsPoint()
996 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) { in gaussianEliminateVars()
1075 for (unsigned r = 0, e = getNumEqualities(); r < e; r++) { in removeRedundantConstraints()
1218 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) in removeRedundantLocalVars()
1223 for (i = 0, e = getNumEqualities(); i < e; ++i) { in removeRedundantLocalVars()
1240 for (unsigned k = 0, t = getNumEqualities(); k < t; ++k) { in removeRedundantLocalVars()
1337 for (unsigned r = 0, e = cst.getNumEqualities(); r < e; r++) { in findEqualityToConstant()
1609 for (unsigned r = 0, e = getNumEqualities(); r < e; r++) { in isHyperRectangular()
1746 for (unsigned r = 0, e = getNumEqualities(); r < e; r++) { in fourierMotzkinEliminate()
1802 getNumEqualities(), getNumCols() - 1, newSpace); in fourierMotzkinEliminate()
1868 for (unsigned r = 0, e = getNumEqualities(); r < e; r++) { in fourierMotzkinEliminate()
1963 for (unsigned r = 0, e = a.getNumEqualities(); r < e; ++r) { in getCommonConstraints()
1964 for (unsigned s = 0, f = b.getNumEqualities(); s < f; ++s) { in getCommonConstraints()
2112 for (unsigned r = 0, e = cst.getNumEqualities(); r < e; r++) { in getIndependentConstraints()
2245 for (unsigned i = 0, e = getNumEqualities(); i < e; ++i) { in print()