diff options
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 7e2e5c1..bf34a2b 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -49,8 +49,8 @@ typedef struct { | |||
| 49 | } dfsarg_solve_h48_maketasks_t; | 49 | } dfsarg_solve_h48_maketasks_t; |
| 50 | 50 | ||
| 51 | STATIC long long solve_h48_dispatch(oriented_cube_t, const char *, unsigned, | 51 | STATIC long long solve_h48_dispatch(oriented_cube_t, const char *, unsigned, |
| 52 | unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long n, | 52 | unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long, |
| 53 | const unsigned char [n], unsigned m, char [m], | 53 | const unsigned char *, unsigned, char *, |
| 54 | long long [static NISSY_SIZE_SOLVE_STATS], int (*)(void *), void *); | 54 | long long [static NISSY_SIZE_SOLVE_STATS], int (*)(void *), void *); |
| 55 | STATIC_INLINE bool solve_h48_stop(dfsarg_solve_h48_t [static 1]); | 55 | STATIC_INLINE bool solve_h48_stop(dfsarg_solve_h48_t [static 1]); |
| 56 | STATIC int64_t solve_h48_maketasks( | 56 | STATIC int64_t solve_h48_maketasks( |
| @@ -60,7 +60,7 @@ STATIC void *solve_h48_runthread(void *); | |||
| 60 | STATIC int64_t solve_h48_dfs(dfsarg_solve_h48_t [static 1]); | 60 | STATIC int64_t solve_h48_dfs(dfsarg_solve_h48_t [static 1]); |
| 61 | STATIC void solve_h48_log_solutions(solution_list_t [static 1], size_t); | 61 | STATIC void solve_h48_log_solutions(solution_list_t [static 1], size_t); |
| 62 | STATIC int64_t solve_h48(oriented_cube_t, uint8_t, uint8_t, uint8_t, uint8_t, | 62 | STATIC int64_t solve_h48(oriented_cube_t, uint8_t, uint8_t, uint8_t, uint8_t, |
| 63 | uint8_t, uint64_t, const unsigned char *, size_t n, char [n], | 63 | uint8_t, uint64_t, const unsigned char *, size_t, char *, |
| 64 | long long [static NISSY_SIZE_SOLVE_STATS], int (*)(void *), void *); | 64 | long long [static NISSY_SIZE_SOLVE_STATS], int (*)(void *), void *); |
| 65 | 65 | ||
| 66 | STATIC long long solve_h48_dispatch( | 66 | STATIC long long solve_h48_dispatch( |
| @@ -73,9 +73,9 @@ STATIC long long solve_h48_dispatch( | |||
| 73 | unsigned optimal, | 73 | unsigned optimal, |
| 74 | unsigned threads, | 74 | unsigned threads, |
| 75 | unsigned long long data_size, | 75 | unsigned long long data_size, |
| 76 | const unsigned char data[data_size], | 76 | const unsigned char *data, |
| 77 | unsigned sols_size, | 77 | unsigned sols_size, |
| 78 | char sols[sols_size], | 78 | char *sols, |
| 79 | long long stats[static NISSY_SIZE_SOLVE_STATS], | 79 | long long stats[static NISSY_SIZE_SOLVE_STATS], |
| 80 | int (*poll_status)(void *), | 80 | int (*poll_status)(void *), |
| 81 | void *poll_status_data | 81 | void *poll_status_data |
| @@ -410,7 +410,7 @@ solve_h48( | |||
| 410 | uint64_t data_size, | 410 | uint64_t data_size, |
| 411 | const unsigned char *data, | 411 | const unsigned char *data, |
| 412 | size_t solutions_size, | 412 | size_t solutions_size, |
| 413 | char solutions[solutions_size], | 413 | char *solutions, |
| 414 | long long stats[static NISSY_SIZE_SOLVE_STATS], | 414 | long long stats[static NISSY_SIZE_SOLVE_STATS], |
| 415 | int (*poll_status)(void *), | 415 | int (*poll_status)(void *), |
| 416 | void *poll_status_data | 416 | void *poll_status_data |
