diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:04:00 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-08-05 09:04:00 +0200 |
| commit | 3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb (patch) | |
| tree | 122faba06273ae0450a2994e22bad42202f11da7 /src/solvers/coord/common.h | |
| parent | f6efc882a279cddb624fe2f2470797561a6997b8 (diff) | |
| download | nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.tar.gz nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.zip | |
Added DRFIN solver
Diffstat (limited to '')
| -rw-r--r-- | src/solvers/coord/common.h | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/src/solvers/coord/common.h b/src/solvers/coord/common.h index 901b8bd..5b5f57b 100644 --- a/src/solvers/coord/common.h +++ b/src/solvers/coord/common.h | |||
| @@ -6,7 +6,6 @@ STATIC bool coord_isnasty_generic( | |||
| 6 | const coord_t [static 1], uint64_t, const unsigned char *); | 6 | const coord_t [static 1], uint64_t, const unsigned char *); |
| 7 | STATIC size_t coord_gendata_generic(const coord_t [static 1], unsigned char *); | 7 | STATIC size_t coord_gendata_generic(const coord_t [static 1], unsigned char *); |
| 8 | 8 | ||
| 9 | STATIC void append_coord_name(const coord_t [static 1], char *); | ||
| 10 | STATIC bool solution_lastqt_cw(const solution_moves_t [static 1]); | 9 | STATIC bool solution_lastqt_cw(const solution_moves_t [static 1]); |
| 11 | STATIC bool coord_can_switch(const coord_t [static 1], const unsigned char *, | 10 | STATIC bool coord_can_switch(const coord_t [static 1], const unsigned char *, |
| 12 | size_t, const uint8_t *); | 11 | size_t, const uint8_t *); |
| @@ -106,7 +105,7 @@ coord_gendata_generic( | |||
| 106 | .maxvalue = 0, | 105 | .maxvalue = 0, |
| 107 | .next = 0 | 106 | .next = 0 |
| 108 | }; | 107 | }; |
| 109 | append_coord_name(coord, info.solver); | 108 | append_name(&info, coord->name); |
| 110 | 109 | ||
| 111 | for (i = 0, n = 0; i < coord->sym.max; i++) { | 110 | for (i = 0, n = 0; i < coord->sym.max; i++) { |
| 112 | if (classttrep[i] != 0xFFFFFFFF) | 111 | if (classttrep[i] != 0xFFFFFFFF) |
| @@ -142,18 +141,6 @@ coord_gendata_generic( | |||
| 142 | return coord_datasize; | 141 | return coord_datasize; |
| 143 | } | 142 | } |
| 144 | 143 | ||
| 145 | STATIC void | ||
| 146 | append_coord_name(const coord_t coord[static 1], char *str) | ||
| 147 | { | ||
| 148 | int i, j; | ||
| 149 | |||
| 150 | i = 0; | ||
| 151 | j = strlen(str); | ||
| 152 | while (coord->name[i]) str[j++] = coord->name[i++]; | ||
| 153 | |||
| 154 | str[j] = '\0'; | ||
| 155 | } | ||
| 156 | |||
| 157 | STATIC bool | 144 | STATIC bool |
| 158 | solution_lastqt_cw(const solution_moves_t s[static 1]) | 145 | solution_lastqt_cw(const solution_moves_t s[static 1]) |
| 159 | { | 146 | { |
