diff options
Diffstat (limited to 'src/solvers/coord/solve.h')
| -rw-r--r-- | src/solvers/coord/solve.h | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h index 018aa90..a2f89db 100644 --- a/src/solvers/coord/solve.h +++ b/src/solvers/coord/solve.h | |||
| @@ -13,13 +13,12 @@ typedef struct { | |||
| 13 | } dfsarg_solve_coord_t; | 13 | } dfsarg_solve_coord_t; |
| 14 | 14 | ||
| 15 | STATIC int64_t solve_coord(oriented_cube_t, coord_t [static 1], uint8_t, | 15 | STATIC int64_t solve_coord(oriented_cube_t, coord_t [static 1], uint8_t, |
| 16 | uint8_t, uint8_t, uint8_t, uint64_t, uint8_t, uint8_t, uint64_t n, | 16 | uint8_t, uint8_t, uint8_t, uint64_t, uint8_t, uint8_t, uint64_t, |
| 17 | const unsigned char [n], size_t m, char [m], int (*)(void *), void *); | 17 | const unsigned char *, size_t, char *, int (*)(void *), void *); |
| 18 | STATIC long long solve_coord_dispatch(oriented_cube_t, const char *, unsigned, | 18 | STATIC long long solve_coord_dispatch(oriented_cube_t, const char *, unsigned, |
| 19 | unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long n, | 19 | unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long, |
| 20 | const unsigned char [n], unsigned m, char [m], | 20 | const unsigned char *, unsigned, char *, |
| 21 | long long [static NISSY_SIZE_SOLVE_STATS], | 21 | long long [static NISSY_SIZE_SOLVE_STATS], int (*)(void *), void *); |
| 22 | int (*)(void *), void *); | ||
| 23 | STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]); | 22 | STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]); |
| 24 | STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]); | 23 | STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]); |
| 25 | STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]); | 24 | STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]); |
| @@ -210,9 +209,9 @@ solve_coord_dispatch( | |||
| 210 | unsigned optimal, | 209 | unsigned optimal, |
| 211 | unsigned threads, | 210 | unsigned threads, |
| 212 | unsigned long long data_size, | 211 | unsigned long long data_size, |
| 213 | const unsigned char data[data_size], | 212 | const unsigned char *data, |
| 214 | unsigned solutions_size, | 213 | unsigned solutions_size, |
| 215 | char sols[solutions_size], | 214 | char *sols, |
| 216 | long long stats[static NISSY_SIZE_SOLVE_STATS], | 215 | long long stats[static NISSY_SIZE_SOLVE_STATS], |
| 217 | int (*poll_status)(void *), | 216 | int (*poll_status)(void *), |
| 218 | void *poll_status_data | 217 | void *poll_status_data |
| @@ -251,9 +250,9 @@ solve_coord( | |||
| 251 | uint8_t optimal, | 250 | uint8_t optimal, |
| 252 | uint8_t threads, | 251 | uint8_t threads, |
| 253 | uint64_t data_size, | 252 | uint64_t data_size, |
| 254 | const unsigned char data[data_size], | 253 | const unsigned char *data, |
| 255 | size_t solutions_size, | 254 | size_t solutions_size, |
| 256 | char sols[solutions_size], | 255 | char *sols, |
| 257 | int (*poll_status)(void *), | 256 | int (*poll_status)(void *), |
| 258 | void *poll_status_data | 257 | void *poll_status_data |
| 259 | ) | 258 | ) |
