always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FZ] minor improvements

Browse Source
This commit is contained in:
Laurent Perron
2025-09-16 18:00:03 +02:00
committed by Corentin Le Molgat
parent 0ada091d1c
commit cc94abdb08
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
ortools/flatzinc/cp_model_fz_solver.cc
View File

@@ -15,6 +15,7 @@
#include <algorithm>
#include <cstdint>
#include <cstdlib>
#include <functional>
#include <limits>
#include <memory>
@@ -1496,6 +1497,7 @@ void CpModelProtoWithMapping::FillConstraint(const fz::Constraint& fz_ct,
const int z = LookupVar(fz_ct.arguments[1]);
const int64_t min_index = fz_ct.arguments[2].Value();
const int64_t multiplier = fz_ct.arguments[3].Value();
DCHECK_EQ(std::abs(multiplier), 1);
int64_t min_range = std::numeric_limits<int64_t>::max();
int64_t max_range = std::numeric_limits<int64_t>::min();
auto* max_array = ct->mutable_lin_max();
@@ -1515,6 +1517,11 @@ void CpModelProtoWithMapping::FillConstraint(const fz::Constraint& fz_ct,
exprs->set_offset(offset);
}
const int max_var = NewIntVar(min_range, max_range);
// (argmax(x) == z) <=> (x[z] == max_i(x[i]))
//
// With tie - breakers :
// (argmax(x) == z) <=>
// (num_vars * x[z] + num_vars - z) = max_i(num_vars * x[i] + num_vars - i)
max_array->mutable_target()->add_vars(max_var);
max_array->mutable_target()->add_coeffs(1);