diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-09-11 10:25:39 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-09-11 10:25:39 +0200 |
| commit | dd6078288b5d7af4a4c0cdd1377a2976af569c9a (patch) | |
| tree | 127e8e3e01505d3b91c1e3bbf6abbadfce08fc38 /src/solvers/h48/solve.h | |
| parent | 4b5ab5d1808949661b4b449af914f3659596ef73 (diff) | |
| download | nissy-core-dd6078288b5d7af4a4c0cdd1377a2976af569c9a.tar.gz nissy-core-dd6078288b5d7af4a4c0cdd1377a2976af569c9a.zip | |
Better way to read tables for solver
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 1c9328b..26847b2 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -192,8 +192,8 @@ solve_h48( | |||
| 192 | .maxsolutions = maxsolutions, | 192 | .maxsolutions = maxsolutions, |
| 193 | .h = h, | 193 | .h = h, |
| 194 | .k = k, | 194 | .k = k, |
| 195 | .cocsepdata = (uint32_t *)((char *)data + INFOSIZE), | 195 | .cocsepdata = get_cocsepdata_ptr(data), |
| 196 | .h48data = (uint8_t *)data + COCSEP_FULLSIZE, | 196 | .h48data = get_h48data_ptr(data), |
| 197 | .nextsol = &solutions | 197 | .nextsol = &solutions |
| 198 | }; | 198 | }; |
| 199 | 199 | ||
| @@ -276,15 +276,12 @@ solve_h48stats( | |||
| 276 | ) | 276 | ) |
| 277 | { | 277 | { |
| 278 | int i; | 278 | int i; |
| 279 | size_t cocsepsize; | ||
| 280 | dfsarg_solveh48stats_t arg; | 279 | dfsarg_solveh48stats_t arg; |
| 281 | 280 | ||
| 282 | cocsepsize = gendata_cocsep(NULL, NULL, NULL); | ||
| 283 | |||
| 284 | arg = (dfsarg_solveh48stats_t) { | 281 | arg = (dfsarg_solveh48stats_t) { |
| 285 | .cube = cube, | 282 | .cube = cube, |
| 286 | .cocsepdata = (uint32_t *)((char *)data + INFOSIZE), | 283 | .cocsepdata = get_cocsepdata_ptr(data), |
| 287 | .h48data = (uint8_t *)data + cocsepsize, | 284 | .h48data = get_h48data_ptr(data), |
| 288 | .s = solutions | 285 | .s = solutions |
| 289 | }; | 286 | }; |
| 290 | 287 | ||
