aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/coord/common.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-08-05 09:04:00 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-08-05 09:04:00 +0200
commit3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb (patch)
tree122faba06273ae0450a2994e22bad42202f11da7 /src/solvers/coord/common.h
parentf6efc882a279cddb624fe2f2470797561a6997b8 (diff)
downloadnissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.tar.gz
nissy-core-3e7bb9b87ef9b47d8f643dbcae19a64ddbc81dbb.zip
Added DRFIN solver
Diffstat (limited to '')
-rw-r--r--src/solvers/coord/common.h15
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 *);
7STATIC size_t coord_gendata_generic(const coord_t [static 1], unsigned char *); 7STATIC size_t coord_gendata_generic(const coord_t [static 1], unsigned char *);
8 8
9STATIC void append_coord_name(const coord_t [static 1], char *);
10STATIC bool solution_lastqt_cw(const solution_moves_t [static 1]); 9STATIC bool solution_lastqt_cw(const solution_moves_t [static 1]);
11STATIC bool coord_can_switch(const coord_t [static 1], const unsigned char *, 10STATIC 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
145STATIC void
146append_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
157STATIC bool 144STATIC bool
158solution_lastqt_cw(const solution_moves_t s[static 1]) 145solution_lastqt_cw(const solution_moves_t s[static 1])
159{ 146{

Generated with cgit - Back to sebastiano.tronto.net