Lines Matching refs:equalities
59 equalities.reserveRows(equalities.getNumRows() + other.getNumEqualities()); in append()
265 equalities.insertColumns(insertPos, num); in insertVar()
276 unsigned row = equalities.appendExtraRow(); in addEquality()
278 equalities(row, i) = eq[i]; in addEquality()
303 equalities.removeColumns(offset + varStart, varLimit - varStart); in removeVarRange()
349 equalities.removeRow(pos); in removeEquality()
359 equalities.removeRows(start, end - start); in removeEqualityRange()
376 equalities.swapColumns(posA, posB); in swapVar()
380 equalities.resizeVertically(0); in clearConstraints()
441 if (!equalities.hasConsistentState()) in hasConsistentState()
458 equalities.addToColumn(i + pos, constantColPos, values[i]); in setAndEliminate()
486 equalities.normalizeRow(i); in normalizeConstraintsByGCD()
999 equalities.normalizeRow(i); in gaussianEliminateVars()
1078 equalities.copyRow(r, pos++); in removeRedundantConstraints()
1080 equalities.resizeVertically(pos); in removeRedundantConstraints()
1148 equalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
1219 equalities.normalizeRow(i); in removeRedundantLocalVars()
1243 equalities.normalizeRow(k); in removeRedundantLocalVars()
1287 unsigned row = equalities.appendExtraRow(); in addBound()
1288 equalities(row, pos) = 1; in addBound()
1289 equalities(row, getNumCols() - 1) = -value; in addBound()