aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/h48')
-rw-r--r--src/solvers/h48/checkdata.h4
-rw-r--r--src/solvers/h48/solve.h12
2 files changed, 8 insertions, 8 deletions
diff --git a/src/solvers/h48/checkdata.h b/src/solvers/h48/checkdata.h
index 53e616b..d36d8cc 100644
--- a/src/solvers/h48/checkdata.h
+++ b/src/solvers/h48/checkdata.h
@@ -1,5 +1,5 @@
1STATIC long long checkdata_h48( 1STATIC long long checkdata_h48(
2 const char *, unsigned long long n, const unsigned char [n]); 2 const char *, unsigned long long, const unsigned char *);
3 3
4/* 4/*
5Currently unused. 5Currently unused.
@@ -178,7 +178,7 @@ STATIC long long
178checkdata_h48( 178checkdata_h48(
179 const char *solver, 179 const char *solver,
180 unsigned long long data_size, 180 unsigned long long data_size,
181 const unsigned char data[data_size] 181 const unsigned char *data
182) 182)
183{ 183{
184 const unsigned char *table; 184 const unsigned char *table;
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
51STATIC long long solve_h48_dispatch(oriented_cube_t, const char *, unsigned, 51STATIC 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 *);
55STATIC_INLINE bool solve_h48_stop(dfsarg_solve_h48_t [static 1]); 55STATIC_INLINE bool solve_h48_stop(dfsarg_solve_h48_t [static 1]);
56STATIC int64_t solve_h48_maketasks( 56STATIC int64_t solve_h48_maketasks(
@@ -60,7 +60,7 @@ STATIC void *solve_h48_runthread(void *);
60STATIC int64_t solve_h48_dfs(dfsarg_solve_h48_t [static 1]); 60STATIC int64_t solve_h48_dfs(dfsarg_solve_h48_t [static 1]);
61STATIC void solve_h48_log_solutions(solution_list_t [static 1], size_t); 61STATIC void solve_h48_log_solutions(solution_list_t [static 1], size_t);
62STATIC int64_t solve_h48(oriented_cube_t, uint8_t, uint8_t, uint8_t, uint8_t, 62STATIC 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
66STATIC long long solve_h48_dispatch( 66STATIC 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

Generated with cgit - Back to sebastiano.tronto.net