diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-07 17:13:49 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-07 17:13:49 +0200 |
| commit | d1747a694ea65a463d6e9b6f7408ae969a8bfff5 (patch) | |
| tree | 3cc9cab0b71a3c08851a2676cf5dde392444627a /src/nissy.c | |
| parent | 22282840b74d434b79e87d82e4ea075baa82a51c (diff) | |
| download | nissy-core-d1747a694ea65a463d6e9b6f7408ae969a8bfff5.tar.gz nissy-core-d1747a694ea65a463d6e9b6f7408ae969a8bfff5.zip | |
Added solver aliases
Diffstat (limited to 'src/nissy.c')
| -rw-r--r-- | src/nissy.c | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/nissy.c b/src/nissy.c index 17ef960..4bfdb56 100644 --- a/src/nissy.c +++ b/src/nissy.c | |||
| @@ -213,15 +213,15 @@ nissy_getcube( | |||
| 213 | STATIC long long | 213 | STATIC long long |
| 214 | nissy_dataid(const char *solver, char dataid[static NISSY_SIZE_DATAID]) | 214 | nissy_dataid(const char *solver, char dataid[static NISSY_SIZE_DATAID]) |
| 215 | { | 215 | { |
| 216 | solver_dispatch_t *dispatch; | 216 | solver_dispatch_t dispatch; |
| 217 | 217 | ||
| 218 | dispatch = match_solver(solver); | 218 | dispatch = match_solver(solver); |
| 219 | if (dispatch == NULL) { | 219 | if (dispatch.prefix == NULL) { |
| 220 | LOG("[dataid] Unknown solver %s\n", solver); | 220 | LOG("[dataid] Unknown solver %s\n", solver); |
| 221 | return NISSY_ERROR_INVALID_SOLVER; | 221 | return NISSY_ERROR_INVALID_SOLVER; |
| 222 | } | 222 | } |
| 223 | 223 | ||
| 224 | return dispatch->dataid(solver, dataid); | 224 | return dispatch.dataid(dispatch.solvername, dataid); |
| 225 | } | 225 | } |
| 226 | 226 | ||
| 227 | long long | 227 | long long |
| @@ -255,7 +255,7 @@ nissy_gendata_unsafe( | |||
| 255 | unsigned char *data | 255 | unsigned char *data |
| 256 | ) | 256 | ) |
| 257 | { | 257 | { |
| 258 | solver_dispatch_t *dispatch; | 258 | solver_dispatch_t dispatch; |
| 259 | 259 | ||
| 260 | if (solver == NULL) { | 260 | if (solver == NULL) { |
| 261 | LOG("[gendata] Error: 'solver' argument is NULL\n"); | 261 | LOG("[gendata] Error: 'solver' argument is NULL\n"); |
| @@ -268,12 +268,12 @@ nissy_gendata_unsafe( | |||
| 268 | } | 268 | } |
| 269 | 269 | ||
| 270 | dispatch = match_solver(solver); | 270 | dispatch = match_solver(solver); |
| 271 | if (dispatch == NULL) { | 271 | if (dispatch.prefix == NULL) { |
| 272 | LOG("[gendata] Unknown solver %s\n", solver); | 272 | LOG("[gendata] Unknown solver %s\n", solver); |
| 273 | return NISSY_ERROR_INVALID_SOLVER; | 273 | return NISSY_ERROR_INVALID_SOLVER; |
| 274 | } | 274 | } |
| 275 | 275 | ||
| 276 | return dispatch->gendata(solver, data_size, data); | 276 | return dispatch.gendata(dispatch.solvername, data_size, data); |
| 277 | } | 277 | } |
| 278 | 278 | ||
| 279 | long long | 279 | long long |
| @@ -283,15 +283,15 @@ nissy_checkdata( | |||
| 283 | const unsigned char *data | 283 | const unsigned char *data |
| 284 | ) | 284 | ) |
| 285 | { | 285 | { |
| 286 | solver_dispatch_t *dispatch; | 286 | solver_dispatch_t dispatch; |
| 287 | 287 | ||
| 288 | dispatch = match_solver(solver); | 288 | dispatch = match_solver(solver); |
| 289 | if (dispatch == NULL) { | 289 | if (dispatch.prefix == NULL) { |
| 290 | LOG("[checkdata] Unknown solver %s\n", solver); | 290 | LOG("[checkdata] Unknown solver %s\n", solver); |
| 291 | return NISSY_ERROR_INVALID_SOLVER; | 291 | return NISSY_ERROR_INVALID_SOLVER; |
| 292 | } | 292 | } |
| 293 | 293 | ||
| 294 | return dispatch->checkdata(solver, data_size, data); | 294 | return dispatch.checkdata(dispatch.solvername, data_size, data); |
| 295 | } | 295 | } |
| 296 | 296 | ||
| 297 | long long | 297 | long long |
| @@ -315,7 +315,7 @@ nissy_solve( | |||
| 315 | { | 315 | { |
| 316 | oriented_cube_t oc; | 316 | oriented_cube_t oc; |
| 317 | int t; | 317 | int t; |
| 318 | solver_dispatch_t *dispatch; | 318 | solver_dispatch_t dispatch; |
| 319 | 319 | ||
| 320 | if (solver == NULL) { | 320 | if (solver == NULL) { |
| 321 | LOG("[solve] Error: 'solver' argument is NULL\n"); | 321 | LOG("[solve] Error: 'solver' argument is NULL\n"); |
| @@ -359,13 +359,13 @@ nissy_solve( | |||
| 359 | } | 359 | } |
| 360 | 360 | ||
| 361 | dispatch = match_solver(solver); | 361 | dispatch = match_solver(solver); |
| 362 | if (dispatch == NULL) { | 362 | if (dispatch.prefix == NULL) { |
| 363 | LOG("[solve] Error: unknown solver '%s'\n", solver); | 363 | LOG("[solve] Error: unknown solver '%s'\n", solver); |
| 364 | return NISSY_ERROR_INVALID_SOLVER; | 364 | return NISSY_ERROR_INVALID_SOLVER; |
| 365 | } | 365 | } |
| 366 | return dispatch->solve(oc, solver, nissflag, minmoves, maxmoves, | 366 | return dispatch.solve(oc, dispatch.solvername, nissflag, minmoves, |
| 367 | maxsols, optimal, t, data_size, data, sols_size, sols, stats, | 367 | maxmoves, maxsols, optimal, t, data_size, data, sols_size, sols, |
| 368 | poll_status, poll_status_data); | 368 | stats, poll_status, poll_status_data); |
| 369 | } | 369 | } |
| 370 | 370 | ||
| 371 | long long | 371 | long long |
