diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-04-15 16:00:44 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-04-15 16:00:44 +0200 |
| commit | dc5e8188a7e29909cbdf661e9b2a80700fe0491d (patch) | |
| tree | 855aa22b15faa235d3b3795cbc5644244324f8c5 /src/solvers/coord/solve.h | |
| parent | b25a939e2d8b045c083caf3264c4e5aac1cf88fb (diff) | |
| download | nissy-core-dc5e8188a7e29909cbdf661e9b2a80700fe0491d.tar.gz nissy-core-dc5e8188a7e29909cbdf661e9b2a80700fe0491d.zip | |
Log solutions as they are found
Diffstat (limited to 'src/solvers/coord/solve.h')
| -rw-r--r-- | src/solvers/coord/solve.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h index 8806d17..464f7bd 100644 --- a/src/solvers/coord/solve.h +++ b/src/solvers/coord/solve.h | |||
| @@ -120,7 +120,7 @@ solve_coord_dfs(dfsarg_solve_coord_t arg[static 1]) | |||
| 120 | if (!coord_solution_admissible(arg)) | 120 | if (!coord_solution_admissible(arg)) |
| 121 | return 0; | 121 | return 0; |
| 122 | return appendsolution(arg->solution_moves, | 122 | return appendsolution(arg->solution_moves, |
| 123 | arg->solution_settings, arg->solution_list); | 123 | arg->solution_settings, arg->solution_list, true); |
| 124 | } | 124 | } |
| 125 | 125 | ||
| 126 | if (solve_coord_dfs_stop(arg)) | 126 | if (solve_coord_dfs_stop(arg)) |
| @@ -316,7 +316,7 @@ solve_coord( | |||
| 316 | 316 | ||
| 317 | if (coord->coord(c, coord_data) == 0) { | 317 | if (coord->coord(c, coord_data) == 0) { |
| 318 | if (minmoves == 0 && !appendsolution( | 318 | if (minmoves == 0 && !appendsolution( |
| 319 | &solution_moves, &solution_settings, &solution_list)) | 319 | &solution_moves, &solution_settings, &solution_list, true)) |
| 320 | goto solve_coord_error_buffer; | 320 | goto solve_coord_error_buffer; |
| 321 | goto solve_coord_done; | 321 | goto solve_coord_done; |
| 322 | } | 322 | } |