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

fix

Browse Source
This commit is contained in:
Laurent Perron
2021-11-13 08:48:46 +01:00
parent c589ead738
commit fdd1783085
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
ortools/constraint_solver/routing_lp_scheduling.h
View File

@@ -508,11 +508,14 @@ class RoutingCPSatWrapper : public RoutingLinearSolverWrapper {
}
}
void AddProductConstraint(int product_var, std::vector<int> vars) override {
sat::IntegerArgumentProto* const ct =
sat::LinearArgumentProto* const ct =
model_.add_constraints()->mutable_int_prod();
ct->set_target(product_var);
ct->mutable_target()->add_vars(product_var);
ct->mutable_target()->add_coeffs(1);
for (const int var : vars) {
ct->add_vars(var);
sat::LinearExpressionProto* expr = ct->add_exprs();
expr->add_vars(var);
expr->add_coeffs(1);
}
}
void SetEnforcementLiteral(int ct, int condition) override {