constraint_solver: Fix LocalSearchFilter samples

This commit is contained in:
Mizux Seiha
2020-08-10 18:01:58 +02:00
parent 3d51f19181
commit d4d88e1f64
8 changed files with 32 additions and 5 deletions

View File

@@ -723,6 +723,7 @@ void SolveDobble(int num_cards, int num_symbols, int num_symbols_per_card) {
// Main decision builder that regroups the first solution decision
// builder and the combination of local search operators and
// filters.
LocalSearchFilterManager* filter_manager = solver.RevAlloc(new LocalSearchFilterManager(filters));
DecisionBuilder* const final_db = solver.MakeLocalSearchPhase(
all_card_symbol_vars, build_db,
solver.MakeLocalSearchPhaseParameters(
@@ -731,7 +732,7 @@ void SolveDobble(int num_cards, int num_symbols, int num_symbols_per_card) {
nullptr, // Limit the search for improving move, we will stop
// the exploration of the local search at the first
// improving solution (first accept).
filters));
filter_manager));
std::vector<SearchMonitor*> monitors;
// Optimize var search monitor.