aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--bridges.c6
-rw-r--r--divvy.c2
-rw-r--r--dsf.c5
-rw-r--r--keen.c18
-rw-r--r--palisade.c8
-rw-r--r--puzzles.h5
-rw-r--r--signpost.c2
7 files changed, 28 insertions, 18 deletions
diff --git a/bridges.c b/bridges.c
index 800e75a..50bdaa4 100644
--- a/bridges.c
+++ b/bridges.c
@@ -1167,7 +1167,7 @@ static void map_group(game_state *state)
if (!is_join) continue;
d2 = DINDEX(is_join->x, is_join->y);
- if (dsf_canonify(dsf,d1) == dsf_canonify(dsf,d2)) {
+ if (dsf_equivalent(dsf, d1, d2)) {
; /* we have a loop. See comment in map_hasloops. */
/* However, we still want to merge all squares joining
* this side-that-makes-a-loop. */
@@ -1291,7 +1291,7 @@ static void solve_join(struct island *is, int direction, int n, bool is_max)
if (n > 0 && !is_max) {
d1 = DINDEX(is->x, is->y);
d2 = DINDEX(is_orth->x, is_orth->y);
- if (dsf_canonify(dsf, d1) != dsf_canonify(dsf, d2))
+ if (!dsf_equivalent(dsf, d1, d2))
dsf_merge(dsf, d1, d2);
}
}
@@ -1410,7 +1410,7 @@ static bool solve_island_checkloop(struct island *is, int direction)
d1 = DINDEX(is->x, is->y);
d2 = DINDEX(is_orth->x, is_orth->y);
- if (dsf_canonify(dsf, d1) == dsf_canonify(dsf, d2)) {
+ if (dsf_equivalent(dsf, d1, d2)) {
/* two islands are connected already; don't join them. */
return true;
}
diff --git a/divvy.c b/divvy.c
index 6e22cd8..92b159a 100644
--- a/divvy.c
+++ b/divvy.c
@@ -632,7 +632,7 @@ DSF *divvy_rectangle_attempt(int w, int h, int k, random_state *rs)
dsf_merge(tmpdsf, y*w+x, (y+1)*w+x);
for (i = 0; i < wh; i++) {
j = dsf_canonify(retdsf, i);
- assert(dsf_canonify(tmpdsf, j) == dsf_canonify(tmpdsf, i));
+ assert(dsf_equivalent(tmpdsf, j, i));
}
cleanup:
diff --git a/dsf.c b/dsf.c
index 89abadf..990fe94 100644
--- a/dsf.c
+++ b/dsf.c
@@ -58,6 +58,11 @@ int dsf_canonify(DSF *dsf, int index)
return edsf_canonify(dsf, index, NULL);
}
+bool dsf_equivalent(DSF *dsf, int i1, int i2)
+{
+ return edsf_canonify(dsf, i1, NULL) == edsf_canonify(dsf, i2, NULL);
+}
+
void dsf_merge(DSF *dsf, int v1, int v2)
{
edsf_merge(dsf, v1, v2, false);
diff --git a/keen.c b/keen.c
index d4d2809..d599076 100644
--- a/keen.c
+++ b/keen.c
@@ -781,7 +781,7 @@ static char *encode_block_structure(char *p, int w, DSF *dsf)
p0 = y*w+x;
p1 = (y+1)*w+x;
}
- edge = (dsf_canonify(dsf, p0) != dsf_canonify(dsf, p1));
+ edge = !dsf_equivalent(dsf, p0, p1);
}
if (edge) {
@@ -1961,13 +1961,13 @@ static void draw_tile(drawing *dr, game_drawstate *ds, struct clues *clues,
cw = tw = TILESIZE-1-2*GRIDEXTRA;
ch = th = TILESIZE-1-2*GRIDEXTRA;
- if (x > 0 && dsf_canonify(clues->dsf, y*w+x) == dsf_canonify(clues->dsf, y*w+x-1))
+ if (x > 0 && dsf_equivalent(clues->dsf, y*w+x, y*w+x-1))
cx -= GRIDEXTRA, cw += GRIDEXTRA;
- if (x+1 < w && dsf_canonify(clues->dsf, y*w+x) == dsf_canonify(clues->dsf, y*w+x+1))
+ if (x+1 < w && dsf_equivalent(clues->dsf, y*w+x, y*w+x+1))
cw += GRIDEXTRA;
- if (y > 0 && dsf_canonify(clues->dsf, y*w+x) == dsf_canonify(clues->dsf, (y-1)*w+x))
+ if (y > 0 && dsf_equivalent(clues->dsf, y*w+x, (y-1)*w+x))
cy -= GRIDEXTRA, ch += GRIDEXTRA;
- if (y+1 < w && dsf_canonify(clues->dsf, y*w+x) == dsf_canonify(clues->dsf, (y+1)*w+x))
+ if (y+1 < w && dsf_equivalent(clues->dsf, y*w+x, (y+1)*w+x))
ch += GRIDEXTRA;
clip(dr, cx, cy, cw, ch);
@@ -1992,13 +1992,13 @@ static void draw_tile(drawing *dr, game_drawstate *ds, struct clues *clues,
* Draw the corners of thick lines in corner-adjacent squares,
* which jut into this square by one pixel.
*/
- if (x > 0 && y > 0 && dsf_canonify(clues->dsf, y*w+x) != dsf_canonify(clues->dsf, (y-1)*w+x-1))
+ if (x > 0 && y > 0 && !dsf_equivalent(clues->dsf, y*w+x, (y-1)*w+x-1))
draw_rect(dr, tx-GRIDEXTRA, ty-GRIDEXTRA, GRIDEXTRA, GRIDEXTRA, COL_GRID);
- if (x+1 < w && y > 0 && dsf_canonify(clues->dsf, y*w+x) != dsf_canonify(clues->dsf, (y-1)*w+x+1))
+ if (x+1 < w && y > 0 && !dsf_equivalent(clues->dsf, y*w+x, (y-1)*w+x+1))
draw_rect(dr, tx+TILESIZE-1-2*GRIDEXTRA, ty-GRIDEXTRA, GRIDEXTRA, GRIDEXTRA, COL_GRID);
- if (x > 0 && y+1 < w && dsf_canonify(clues->dsf, y*w+x) != dsf_canonify(clues->dsf, (y+1)*w+x-1))
+ if (x > 0 && y+1 < w && !dsf_equivalent(clues->dsf, y*w+x, (y+1)*w+x-1))
draw_rect(dr, tx-GRIDEXTRA, ty+TILESIZE-1-2*GRIDEXTRA, GRIDEXTRA, GRIDEXTRA, COL_GRID);
- if (x+1 < w && y+1 < w && dsf_canonify(clues->dsf, y*w+x) != dsf_canonify(clues->dsf, (y+1)*w+x+1))
+ if (x+1 < w && y+1 < w && !dsf_equivalent(clues->dsf, y*w+x, (y+1)*w+x+1))
draw_rect(dr, tx+TILESIZE-1-2*GRIDEXTRA, ty+TILESIZE-1-2*GRIDEXTRA, GRIDEXTRA, GRIDEXTRA, COL_GRID);
/* Draw the box clue. */
diff --git a/palisade.c b/palisade.c
index b76a467..c07d887 100644
--- a/palisade.c
+++ b/palisade.c
@@ -273,7 +273,7 @@ static void connect(solver_ctx *ctx, int i, int j)
static bool connected(solver_ctx *ctx, int i, int j, int dir)
{
if (j == COMPUTE_J) j = i + dx[dir] + ctx->params->w*dy[dir];
- return dsf_canonify(ctx->dsf, i) == dsf_canonify(ctx->dsf, j);
+ return dsf_equivalent(ctx->dsf, i, j);
}
static void disconnect(solver_ctx *ctx, int i, int j, int dir)
@@ -557,10 +557,10 @@ static bool is_solved(const game_params *params, clue *clues,
for (y = 0; y < h; y++) {
for (x = 0; x < w; x++) {
if (x+1 < w && (border[y*w+x] & BORDER_R) &&
- dsf_canonify(dsf, y*w+x) == dsf_canonify(dsf, y*w+(x+1)))
+ dsf_equivalent(dsf, y*w+x, y*w+(x+1)))
goto error;
if (y+1 < h && (border[y*w+x] & BORDER_D) &&
- dsf_canonify(dsf, y*w+x) == dsf_canonify(dsf, (y+1)*w+x))
+ dsf_equivalent(dsf, y*w+x, (y+1)*w+x))
goto error;
}
}
@@ -659,7 +659,7 @@ static char *new_game_desc(const game_params *params, random_state *rs,
for (dir = 0; dir < 4; ++dir) {
int rr = r + dy[dir], cc = c + dx[dir], ii = rr * w + cc;
if (OUT_OF_BOUNDS(cc, rr, w, h) ||
- dsf_canonify(dsf, i) != dsf_canonify(dsf, ii)) {
+ !dsf_equivalent(dsf, i, ii)) {
++numbers[i];
soln[i] |= BORDER(dir);
}
diff --git a/puzzles.h b/puzzles.h
index 358736b..0b7f0cc 100644
--- a/puzzles.h
+++ b/puzzles.h
@@ -439,6 +439,11 @@ int edsf_canonify(DSF *dsf, int val, bool *inverse);
int dsf_canonify(DSF *dsf, int val);
int dsf_size(DSF *dsf, int val);
+/* Check whether two elements are in the same equivalence class.
+ * Equivalent to, but less verbose than, calling dsf_canonify twice
+ * and seeing if their two canonical elements are the same. */
+bool dsf_equivalent(DSF *dsf, int v1, int v2);
+
/* Allow the caller to specify that two elements should be in the same
* equivalence class. If 'inverse' is true, the elements are actually opposite
* to one another in some sense. This function will fail an assertion if the
diff --git a/signpost.c b/signpost.c
index 51c49d7..f6b524d 100644
--- a/signpost.c
+++ b/signpost.c
@@ -173,7 +173,7 @@ static bool isvalidmove(const game_state *state, bool clever,
/* can't create a new connection between cells in the same region
* as that would create a loop. */
- if (dsf_canonify(state->dsf, from) == dsf_canonify(state->dsf, to))
+ if (dsf_equivalent(state->dsf, from, to))
return false;
/* if both cells are actual numbers, can't drag if we're not
generated by cgit v1.1 at 2026-04-25 00:33:51 +0000