diff options
Diffstat (limited to 'src/solvers/coord/solve.h')
| -rw-r--r-- | src/solvers/coord/solve.h | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h index 8eb3e9d..df0f6ff 100644 --- a/src/solvers/coord/solve.h +++ b/src/solvers/coord/solve.h | |||
| @@ -13,11 +13,13 @@ 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, | 16 | uint8_t, uint8_t, uint8_t, uint64_t, uint8_t, uint8_t, uint64_t n, |
| 17 | const unsigned char *, size_t n, char [n], int (*)(void *), void *); | 17 | const unsigned char [n], size_t m, char [m], int (*)(void *), void *); |
| 18 | STATIC int64_t solve_coord_dispatch(oriented_cube_t, const char *, uint8_t, | 18 | STATIC long long solve_coord_dispatch(oriented_cube_t, const char *, unsigned, |
| 19 | uint8_t, uint8_t, uint64_t, uint8_t, uint8_t, uint64_t, | 19 | unsigned, unsigned, unsigned, unsigned, unsigned, unsigned long long n, |
| 20 | const unsigned char *, size_t n, char [n], int (*)(void *), void *); | 20 | const unsigned char [n], unsigned m, char [m], |
| 21 | long long [static NISSY_SIZE_SOLVE_STATS], | ||
| 22 | int (*)(void *), void *); | ||
| 21 | STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]); | 23 | STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]); |
| 22 | STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]); | 24 | STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]); |
| 23 | STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]); | 25 | STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]); |
| @@ -198,20 +200,21 @@ solve_coord_dfs(dfsarg_solve_coord_t arg[static 1]) | |||
| 198 | return ret; | 200 | return ret; |
| 199 | } | 201 | } |
| 200 | 202 | ||
| 201 | STATIC int64_t | 203 | STATIC long long |
| 202 | solve_coord_dispatch( | 204 | solve_coord_dispatch( |
| 203 | oriented_cube_t oc, | 205 | oriented_cube_t oc, |
| 204 | const char *coord_and_axis, | 206 | const char *coord_and_axis, |
| 205 | uint8_t nissflag, | 207 | unsigned nissflag, |
| 206 | uint8_t minmoves, | 208 | unsigned minmoves, |
| 207 | uint8_t maxmoves, | 209 | unsigned maxmoves, |
| 208 | uint64_t maxsolutions, | 210 | unsigned maxsolutions, |
| 209 | uint8_t optimal, | 211 | unsigned optimal, |
| 210 | uint8_t threads, | 212 | unsigned threads, |
| 211 | uint64_t data_size, | 213 | unsigned long long data_size, |
| 212 | const unsigned char *data, | 214 | const unsigned char data[data_size], |
| 213 | size_t solutions_size, | 215 | unsigned solutions_size, |
| 214 | char sols[solutions_size], | 216 | char sols[solutions_size], |
| 217 | long long stats[static NISSY_SIZE_SOLVE_STATS], | ||
| 215 | int (*poll_status)(void *), | 218 | int (*poll_status)(void *), |
| 216 | void *poll_status_data | 219 | void *poll_status_data |
| 217 | ) | 220 | ) |
| @@ -250,7 +253,7 @@ solve_coord( | |||
| 250 | uint8_t optimal, | 253 | uint8_t optimal, |
| 251 | uint8_t threads, | 254 | uint8_t threads, |
| 252 | uint64_t data_size, | 255 | uint64_t data_size, |
| 253 | const unsigned char *data, | 256 | const unsigned char data[data_size], |
| 254 | size_t solutions_size, | 257 | size_t solutions_size, |
| 255 | char sols[solutions_size], | 258 | char sols[solutions_size], |
| 256 | int (*poll_status)(void *), | 259 | int (*poll_status)(void *), |
