49 absl::Span<const IntegerValue> lower_bounds,
50 absl::Span<const IntegerValue> upper_bounds);
52 absl::Span<const IntegerValue> coeffs, IntegerValue lb,
54 std::vector<std::vector<std::pair<glop::RowIndex, IntegerValue>>>
67 std::vector<std::pair<glop::RowIndex, IntegerValue>>
multipliers;
80 const std::vector<int>&
MatrixCol(
int col)
const {
return col_to_rows_[col]; }
100 const double kSlackThreshold = 0.5;
101 const int kMaxAggregationSize = 100;
106 const int kMaxInputConstraintSize = 100;
107 const double kMaxInputConstraintMagnitude = 1e6;
110 std::vector<double> lp_values_;
111 std::vector<double> shifted_lp_values_;
112 std::vector<int> bound_parity_;
118 std::vector<CombinationOfRows> rows_;
119 std::vector<std::vector<int>> col_to_rows_;
120 std::vector<int> singleton_cols_;
123 std::vector<bool> tmp_marked_;