aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord/solve.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/coord/solve.h')
-rw-r--r--src/solvers/coord/solve.h35
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
15STATIC int64_t solve_coord(oriented_cube_t, coord_t [static 1], uint8_t, 15STATIC 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 *);
18STATIC int64_t solve_coord_dispatch(oriented_cube_t, const char *, uint8_t, 18STATIC 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 *);
21STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]); 23STATIC bool coord_solution_admissible(const dfsarg_solve_coord_t [static 1]);
22STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]); 24STATIC bool solve_coord_dfs_stop(const dfsarg_solve_coord_t [static 1]);
23STATIC bool coord_continue_onnormal(const dfsarg_solve_coord_t [static 1]); 25STATIC 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
201STATIC int64_t 203STATIC long long
202solve_coord_dispatch( 204solve_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 *),

Generated with cgit - Back to sebastiano.tronto.net