Lines Matching refs:inequalities
160 inequalities.reserve(numReservedInequalities * numReservedCols); in FlatAffineConstraints()
181 inequalities.reserve(set.getNumInequalities() * numReservedCols); in FlatAffineConstraints()
227 inequalities.reserve(newNumReservedCols * numReservedInequalities); in reset()
247 inequalities.reserve(inequalities.size() + in append()
287 inequalities.resize(getNumInequalities() * (getNumCols() + 1)); in addId()
312 atIneq(r, c) = inequalities[r * oldNumReservedCols + c]; in addId()
314 atIneq(r, c + 1) = inequalities[r * oldNumReservedCols + c]; in addId()
776 if (inequalities.size() != getNumInequalities() * numReservedCols) in hasConsistentState()
1435 inequalities.resize(numReservedCols * pos); in removeRedundantInequalities()
1462 inequalities.resize(numReservedCols * pos); in removeRedundantConstraints()
1881 unsigned offset = inequalities.size(); in addInequality()
1882 inequalities.resize(inequalities.size() + numReservedCols); in addInequality()
1883 std::copy(inEq.begin(), inEq.end(), inequalities.begin() + offset); in addInequality()
1888 unsigned offset = inequalities.size(); in addConstantLowerBound()
1889 inequalities.resize(inequalities.size() + numReservedCols); in addConstantLowerBound()
1890 std::fill(inequalities.begin() + offset, in addConstantLowerBound()
1891 inequalities.begin() + offset + getNumCols(), 0); in addConstantLowerBound()
1892 inequalities[offset + pos] = 1; in addConstantLowerBound()
1893 inequalities[offset + getNumCols() - 1] = -lb; in addConstantLowerBound()
1898 unsigned offset = inequalities.size(); in addConstantUpperBound()
1899 inequalities.resize(inequalities.size() + numReservedCols); in addConstantUpperBound()
1900 std::fill(inequalities.begin() + offset, in addConstantUpperBound()
1901 inequalities.begin() + offset + getNumCols(), 0); in addConstantUpperBound()
1902 inequalities[offset + pos] = -1; in addConstantUpperBound()
1903 inequalities[offset + getNumCols() - 1] = ub; in addConstantUpperBound()
1909 unsigned offset = inequalities.size(); in addConstantLowerBound()
1910 inequalities.resize(inequalities.size() + numReservedCols); in addConstantLowerBound()
1911 std::fill(inequalities.begin() + offset, in addConstantLowerBound()
1912 inequalities.begin() + offset + getNumCols(), 0); in addConstantLowerBound()
1913 std::copy(expr.begin(), expr.end(), inequalities.begin() + offset); in addConstantLowerBound()
1914 inequalities[offset + getNumCols() - 1] += -lb; in addConstantLowerBound()
1920 unsigned offset = inequalities.size(); in addConstantUpperBound()
1921 inequalities.resize(inequalities.size() + numReservedCols); in addConstantUpperBound()
1922 std::fill(inequalities.begin() + offset, in addConstantUpperBound()
1923 inequalities.begin() + offset + getNumCols(), 0); in addConstantUpperBound()
1925 inequalities[offset + i] = -expr[i]; in addConstantUpperBound()
1927 inequalities[offset + getNumCols() - 1] += ub; in addConstantUpperBound()
2037 std::copy(inequalities.begin() + inputIndex, in removeInequality()
2038 inequalities.begin() + inputIndex + numElemsToCopy, in removeInequality()
2039 inequalities.begin() + outputIndex); in removeInequality()
2040 assert(inequalities.size() >= numReservedCols); in removeInequality()
2041 inequalities.resize(inequalities.size() - numReservedCols); in removeInequality()
2398 int64_t *rowStart = inequalities.data() + numReservedCols * r; in removeTrivialRedundancy()
2441 inequalities.resize(numReservedCols * pos); in removeTrivialRedundancy()
2736 inequalities.clear(); in clearConstraints()