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/h48/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/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index fc7631f..f076f11 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -160,7 +160,7 @@ solve_h48_dfs(dfsarg_solve_h48_t arg[static 1]) | |||
| 160 | return 0; | 160 | return 0; |
| 161 | pthread_mutex_lock(arg->solutions_mutex); | 161 | pthread_mutex_lock(arg->solutions_mutex); |
| 162 | ret = appendsolution(arg->solution_moves, | 162 | ret = appendsolution(arg->solution_moves, |
| 163 | arg->solution_settings, arg->solution_list); | 163 | arg->solution_settings, arg->solution_list, true); |
| 164 | pthread_mutex_unlock(arg->solutions_mutex); | 164 | pthread_mutex_unlock(arg->solutions_mutex); |
| 165 | return ret; | 165 | return ret; |
| 166 | } | 166 | } |
| @@ -292,8 +292,8 @@ solve_h48_maketasks( | |||
| 292 | memcpy(moves.moves, | 292 | memcpy(moves.moves, |
| 293 | maketasks_arg->moves, maketasks_arg->nmoves); | 293 | maketasks_arg->moves, maketasks_arg->nmoves); |
| 294 | 294 | ||
| 295 | appret = appendsolution(&moves, | 295 | appret = appendsolution(&moves, solve_arg->solution_settings, |
| 296 | solve_arg->solution_settings, solve_arg->solution_list); | 296 | solve_arg->solution_list, true); |
| 297 | return appret < 0 ? appret : NISSY_OK; | 297 | return appret < 0 ? appret : NISSY_OK; |
| 298 | } | 298 | } |
| 299 | 299 | ||