diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2026-03-01 16:49:10 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2026-03-01 16:49:10 +0100 |
| commit | f683405c7e9e0d62a8ca90ba898af1c5e2786ebf (patch) | |
| tree | 2a99f7a6ae58f622bd9198cd21788d6a6583776f /src/solvers/h48/solve.h | |
| parent | e68606ff95db6e31585706278b034250555bbe14 (diff) | |
| download | nissy-core-f683405c7e9e0d62a8ca90ba898af1c5e2786ebf.tar.gz nissy-core-f683405c7e9e0d62a8ca90ba898af1c5e2786ebf.zip | |
C11 threads!
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 19aaf79..4fd0aea 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -78,7 +78,7 @@ STATIC_INLINE void h48_prune_restore_inverse(const h48_prune_t [static 1], | |||
| 78 | STATIC int64_t solve_h48_maketasks( | 78 | STATIC int64_t solve_h48_maketasks( |
| 79 | dfsarg_solve_h48_t [static 1], dfsarg_solve_h48_maketasks_t [static 1], | 79 | dfsarg_solve_h48_t [static 1], dfsarg_solve_h48_maketasks_t [static 1], |
| 80 | solve_h48_task_t [static H48_STARTING_CUBES], int [static 1]); | 80 | solve_h48_task_t [static H48_STARTING_CUBES], int [static 1]); |
| 81 | STATIC void *solve_h48_runthread(void *); | 81 | STATIC wrapthread_return_t solve_h48_runthread(void *); |
| 82 | STATIC int64_t solve_h48_dfs(dfsarg_solve_h48_t [static 1]); | 82 | STATIC int64_t solve_h48_dfs(dfsarg_solve_h48_t [static 1]); |
| 83 | STATIC void solve_h48_log_solutions(solution_list_t [static 1], size_t); | 83 | STATIC void solve_h48_log_solutions(solution_list_t [static 1], size_t); |
| 84 | STATIC int solve_h48_compare_tasks(const void *, const void *); | 84 | STATIC int solve_h48_compare_tasks(const void *, const void *); |
| @@ -383,7 +383,7 @@ solve_h48_dfs(dfsarg_solve_h48_t arg[static 1]) | |||
| 383 | return ret; | 383 | return ret; |
| 384 | } | 384 | } |
| 385 | 385 | ||
| 386 | STATIC void * | 386 | STATIC wrapthread_return_t |
| 387 | solve_h48_runthread(void *arg) | 387 | solve_h48_runthread(void *arg) |
| 388 | { | 388 | { |
| 389 | int i, j; | 389 | int i, j; |
| @@ -445,7 +445,7 @@ solve_h48_runthread(void *arg) | |||
| 445 | 445 | ||
| 446 | solve_h48_runthread_end: | 446 | solve_h48_runthread_end: |
| 447 | dfsarg->thread_done = true; | 447 | dfsarg->thread_done = true; |
| 448 | return NULL; | 448 | return wrapthread_return_val; |
| 449 | } | 449 | } |
| 450 | 450 | ||
| 451 | STATIC int64_t | 451 | STATIC int64_t |
