diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-06 16:34:21 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-06 16:52:12 +0200 |
| commit | 57a7520545134ab95f7bb0397dcbe991c906a3e9 (patch) | |
| tree | 689e20a92ec3830533d2fb868e5dc141dec45877 /src/solvers/coord/solve.h | |
| parent | a5c9b857a346343443baf49679eebf12c18b4008 (diff) | |
| download | nissy-core-57a7520545134ab95f7bb0397dcbe991c906a3e9.tar.gz nissy-core-57a7520545134ab95f7bb0397dcbe991c906a3e9.zip | |
Added HTR solver
Diffstat (limited to 'src/solvers/coord/solve.h')
| -rw-r--r-- | src/solvers/coord/solve.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h index 72bc064..54309b1 100644 --- a/src/solvers/coord/solve.h +++ b/src/solvers/coord/solve.h | |||
| @@ -155,6 +155,10 @@ solve_coord_dfs(dfsarg_solve_coord_t arg[static 1]) | |||
| 155 | int64_t n, ret; | 155 | int64_t n, ret; |
| 156 | cube_t backup_cube, backup_inverse; | 156 | cube_t backup_cube, backup_inverse; |
| 157 | 157 | ||
| 158 | if (arg->coord->solution_prune != NULL && | ||
| 159 | arg->coord->solution_prune(arg->solution_moves)) | ||
| 160 | return 0; | ||
| 161 | |||
| 158 | coord = arg->coord->coord(arg->cube, arg->coord_data); | 162 | coord = arg->coord->coord(arg->cube, arg->coord_data); |
| 159 | if (coord_is_solved(arg->coord, coord, arg->coord_data)) { | 163 | if (coord_is_solved(arg->coord, coord, arg->coord_data)) { |
| 160 | if (!coord_solution_admissible(arg)) | 164 | if (!coord_solution_admissible(arg)) |
