14 #ifndef OR_TOOLS_SAT_RINS_H_
15 #define OR_TOOLS_SAT_RINS_H_
19 #include "absl/container/flat_hash_map.h"
20 #include "absl/random/bit_gen_ref.h"
21 #include "absl/synchronization/mutex.h"
22 #include "absl/types/optional.h"
45 std::vector<LPVariable>
vars;
59 std::vector<std::pair< int, std::pair<int64, int64>>>
81 absl::BitGenRef random);
Class that owns everything related to a particular optimization model.
SharedRelaxationSolutionRepository * relaxation_solutions
SharedLPSolutionRepository * lp_solutions
SharedIncompleteSolutionManager * incomplete_solutions
void RecordLPRelaxationValues(Model *model)
const IntegerVariable kNoIntegerVariable(-1)
RINSNeighborhood GetRINSNeighborhood(const SharedResponseManager *response_manager, const SharedRelaxationSolutionRepository *relaxation_solutions, const SharedLPSolutionRepository *lp_solutions, SharedIncompleteSolutionManager *incomplete_solutions, absl::BitGenRef random)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
IntegerVariable positive_var
bool operator==(const LPVariable other) const
LinearProgrammingConstraint * lp
std::vector< LPVariable > vars
std::vector< std::pair< int, std::pair< int64, int64 > > > reduced_domain_vars
std::vector< std::pair< int, int64 > > fixed_vars