2 * slide.c: Implementation of the block-sliding puzzle `Klotski'.
9 * * try to generate a solution when Solve is pressed
10 * + from the start, or from here? From here, I fear.
11 * + hence, not much point saving the solution in an aux
13 * * Inertia-like method for telling the user the solution
14 * * standalone solver which draws diagrams
16 * - The dragging semantics are still subtly wrong in complex
19 * - Improve the generator.
20 * * actually, we seem to be mostly sensible already now. I
21 * want more choice over the type of main block and location
22 * of the exit/target, and I think I probably ought to give
23 * up on compactness and just bite the bullet and have the
24 * target area right outside the main wall, but mostly I
26 * * the move limit tends to make the game _slower_ to
27 * generate, which is odd. Perhaps investigate why.
29 * - Improve the graphics.
30 * * All the colours are a bit wishy-washy. _Some_ dark
31 * colours would surely not be excessive? Probably darken
32 * the tiles, the walls and the main block, and leave the
34 * * The cattle grid effect is still disgusting. Think of
35 * something completely different.
49 * The implementation of this game revolves around the insight
50 * which makes an exhaustive-search solver feasible: although
51 * there are many blocks which can be rearranged in many ways, any
52 * two blocks of the same shape are _indistinguishable_ and hence
53 * the number of _distinct_ board layouts is generally much
54 * smaller. So we adopt a representation for board layouts which
55 * is inherently canonical, i.e. there are no two distinct
56 * representations which encode indistinguishable layouts.
58 * The way we do this is to encode each square of the board, in
59 * the normal left-to-right top-to-bottom order, as being one of
60 * the following things:
61 * - the first square (in the given order) of a block (`anchor')
62 * - special case of the above: the anchor for the _main_ block
63 * (i.e. the one which the aim of the game is to get to the
65 * - a subsequent square of a block whose previous square was N
67 * - an impassable wall
69 * (We also separately store data about which board positions are
70 * forcefields only passable by the main block. We can't encode
71 * that in the main board data, because then the main block would
72 * destroy forcefields as it went over them.)
74 * Hence, for example, a 2x2 square block would be encoded as
75 * ANCHOR, followed by DIST(1), and w-2 squares later on there
76 * would be DIST(w-1) followed by DIST(1). So if you start at the
77 * last of those squares, the DIST numbers give you a linked list
78 * pointing back through all the other squares in the same block.
80 * So the solver simply does a bfs over all reachable positions,
81 * encoding them in this format and storing them in a tree234 to
82 * ensure it doesn't ever revisit an already-analysed position.
87 * The colours are arranged here so that every base colour is
88 * directly followed by its highlight colour and then its
89 * lowlight colour. Do not break this, or draw_tile() will get
96 COL_DRAGGING_HIGHLIGHT
,
97 COL_DRAGGING_LOWLIGHT
,
102 COL_MAIN_DRAGGING_HIGHLIGHT
,
103 COL_MAIN_DRAGGING_LOWLIGHT
,
105 COL_TARGET_HIGHLIGHT
,
111 * Board layout is a simple array of bytes. Each byte holds:
113 #define ANCHOR 255 /* top-left-most square of some piece */
114 #define MAINANCHOR 254 /* anchor of _main_ piece */
115 #define EMPTY 253 /* empty square */
116 #define WALL 252 /* immovable wall */
118 /* all other values indicate distance back to previous square of same block */
119 #define ISDIST(x) ( (unsigned char)((x)-1) <= MAXDIST-1 )
121 #define ISANCHOR(x) ( (x)==ANCHOR || (x)==MAINANCHOR )
122 #define ISBLOCK(x) ( ISANCHOR(x) || ISDIST(x) )
125 * MAXDIST is the largest DIST value we can encode. This must
126 * therefore also be the maximum puzzle width in theory (although
127 * solver running time will dictate a much smaller limit in
130 #define MAXWID MAXDIST
137 struct game_immutable_state
{
139 unsigned char *forcefield
;
144 unsigned char *board
;
145 int tx
, ty
; /* target coords for MAINANCHOR */
146 int minmoves
; /* for display only */
147 int lastmoved
, lastmoved_pos
; /* for move counting */
150 struct game_immutable_state
*imm
;
153 static game_params
*default_params(void)
155 game_params
*ret
= snew(game_params
);
164 static const struct game_params slide_presets
[] = {
170 static int game_fetch_preset(int i
, char **name
, game_params
**params
)
175 if (i
< 0 || i
>= lenof(slide_presets
))
178 ret
= snew(game_params
);
179 *ret
= slide_presets
[i
];
181 sprintf(str
, "%dx%d", ret
->w
, ret
->h
);
182 if (ret
->maxmoves
>= 0)
183 sprintf(str
+ strlen(str
), ", max %d moves", ret
->maxmoves
);
185 sprintf(str
+ strlen(str
), ", no move limit");
192 static void free_params(game_params
*params
)
197 static game_params
*dup_params(game_params
*params
)
199 game_params
*ret
= snew(game_params
);
200 *ret
= *params
; /* structure copy */
204 static void decode_params(game_params
*params
, char const *string
)
206 params
->w
= params
->h
= atoi(string
);
207 while (*string
&& isdigit((unsigned char)*string
)) string
++;
208 if (*string
== 'x') {
210 params
->h
= atoi(string
);
211 while (*string
&& isdigit((unsigned char)*string
)) string
++;
213 if (*string
== 'm') {
215 params
->maxmoves
= atoi(string
);
216 while (*string
&& isdigit((unsigned char)*string
)) string
++;
217 } else if (*string
== 'u') {
219 params
->maxmoves
= -1;
223 static char *encode_params(game_params
*params
, int full
)
227 sprintf(data
, "%dx%d", params
->w
, params
->h
);
228 if (params
->maxmoves
>= 0)
229 sprintf(data
+ strlen(data
), "m%d", params
->maxmoves
);
231 sprintf(data
+ strlen(data
), "u");
236 static config_item
*game_configure(game_params
*params
)
241 ret
= snewn(4, config_item
);
243 ret
[0].name
= "Width";
244 ret
[0].type
= C_STRING
;
245 sprintf(buf
, "%d", params
->w
);
246 ret
[0].sval
= dupstr(buf
);
249 ret
[1].name
= "Height";
250 ret
[1].type
= C_STRING
;
251 sprintf(buf
, "%d", params
->h
);
252 ret
[1].sval
= dupstr(buf
);
255 ret
[2].name
= "Solution length limit";
256 ret
[2].type
= C_STRING
;
257 sprintf(buf
, "%d", params
->maxmoves
);
258 ret
[2].sval
= dupstr(buf
);
269 static game_params
*custom_params(config_item
*cfg
)
271 game_params
*ret
= snew(game_params
);
273 ret
->w
= atoi(cfg
[0].sval
);
274 ret
->h
= atoi(cfg
[1].sval
);
275 ret
->maxmoves
= atoi(cfg
[2].sval
);
280 static char *validate_params(game_params
*params
, int full
)
282 if (params
->w
> MAXWID
)
283 return "Width must be at most " STR(MAXWID
);
286 return "Width must be at least 5";
288 return "Height must be at least 4";
293 static char *board_text_format(int w
, int h
, unsigned char *data
,
294 unsigned char *forcefield
)
297 int *dsf
= snew_dsf(wh
);
299 int retpos
, retlen
= (w
*2+2)*(h
*2+1)+1;
300 char *ret
= snewn(retlen
, char);
302 for (i
= 0; i
< wh
; i
++)
304 dsf_merge(dsf
, i
- data
[i
], i
);
306 for (y
= 0; y
< 2*h
+1; y
++) {
307 for (x
= 0; x
< 2*w
+1; x
++) {
309 int i
= (y
/2)*w
+(x
/2);
311 #define dtype(i) (ISBLOCK(data[i]) ? \
312 dsf_canonify(dsf, i) : data[i])
313 #define dchar(t) ((t)==EMPTY ? ' ' : (t)==WALL ? '#' : \
314 data[t] == MAINANCHOR ? '*' : '%')
316 if (y
% 2 && x
% 2) {
319 } else if (y
% 2 && !(x
% 2)) {
320 int j1
= (x
> 0 ?
dtype(i
-1) : -1);
321 int j2
= (x
< 2*w ?
dtype(i
) : -1);
326 } else if (!(y
% 2) && (x
% 2)) {
327 int j1
= (y
> 0 ?
dtype(i
-w
) : -1);
328 int j2
= (y
< 2*h ?
dtype(i
) : -1);
334 int j1
= (x
> 0 && y
> 0 ?
dtype(i
-w
-1) : -1);
335 int j2
= (x
> 0 && y
< 2*h ?
dtype(i
-1) : -1);
336 int j3
= (x
< 2*w
&& y
> 0 ?
dtype(i
-w
) : -1);
337 int j4
= (x
< 2*w
&& y
< 2*h ?
dtype(i
) : -1);
338 if (j1
== j2
&& j2
== j3
&& j3
== j4
)
340 else if (j1
== j2
&& j3
== j4
)
342 else if (j1
== j3
&& j2
== j4
)
348 assert(retpos
< retlen
);
351 assert(retpos
< retlen
);
352 ret
[retpos
++] = '\n';
354 assert(retpos
< retlen
);
355 ret
[retpos
++] = '\0';
356 assert(retpos
== retlen
);
361 /* ----------------------------------------------------------------------
366 * During solver execution, the set of visited board positions is
367 * stored as a tree234 of the following structures. `w', `h' and
368 * `data' are obvious in meaning; `dist' represents the minimum
369 * distance to reach this position from the starting point.
371 * `prev' links each board to the board position from which it was
372 * most efficiently derived.
381 static int boardcmp(void *av
, void *bv
)
383 struct board
*a
= (struct board
*)av
;
384 struct board
*b
= (struct board
*)bv
;
385 return memcmp(a
->data
, b
->data
, a
->w
* a
->h
);
388 static struct board
*newboard(int w
, int h
, unsigned char *data
)
390 struct board
*b
= malloc(sizeof(struct board
) + w
*h
);
391 b
->data
= (unsigned char *)b
+ sizeof(struct board
);
392 memcpy(b
->data
, data
, w
*h
);
401 * The actual solver. Given a board, attempt to find the minimum
402 * length of move sequence which moves MAINANCHOR to (tx,ty), or
403 * -1 if no solution exists. Returns that minimum length.
405 * Also, if `moveout' is provided, writes out the moves in the
406 * form of a sequence of pairs of integers indicating the source
407 * and destination points of the anchor of the moved piece in each
408 * move. Exactly twice as many integers are written as the number
409 * returned from solve_board(), and `moveout' receives an int *
410 * which is a pointer to a dynamically allocated array.
412 static int solve_board(int w
, int h
, unsigned char *board
,
413 unsigned char *forcefield
, int tx
, int ty
,
414 int movelimit
, int **moveout
)
417 struct board
*b
, *b2
, *b3
;
418 int *next
, *anchors
, *which
;
419 int *movereached
, *movequeue
, mqhead
, mqtail
;
420 tree234
*sorted
, *queue
;
425 #ifdef SOLVER_DIAGNOSTICS
427 char *t
= board_text_format(w
, h
, board
);
428 for (i
= 0; i
< h
; i
++) {
429 for (j
= 0; j
< w
; j
++) {
430 int c
= board
[i
*w
+j
];
433 else if (c
== MAINANCHOR
)
435 else if (c
== ANCHOR
)
445 printf("Starting solver for:\n%s\n", t
);
450 sorted
= newtree234(boardcmp
);
451 queue
= newtree234(NULL
);
453 b
= newboard(w
, h
, board
);
456 addpos234(queue
, b
, 0);
459 next
= snewn(wh
, int);
460 anchors
= snewn(wh
, int);
461 which
= snewn(wh
, int);
462 movereached
= snewn(wh
, int);
463 movequeue
= snewn(wh
, int);
466 while ((b
= delpos234(queue
, 0)) != NULL
) {
468 if (movelimit
>= 0 && b
->dist
>= movelimit
) {
470 * The problem is not soluble in under `movelimit'
471 * moves, so we can quit right now.
476 if (b
->dist
!= lastdist
) {
477 #ifdef SOLVER_DIAGNOSTICS
478 printf("dist %d (%d)\n", b
->dist
, count234(sorted
));
483 * Find all the anchors and form a linked list of the
484 * squares within each block.
486 for (i
= 0; i
< wh
; i
++) {
490 if (ISANCHOR(b
->data
[i
])) {
493 } else if (ISDIST(b
->data
[i
])) {
501 * For each anchor, do an array-based BFS to find all the
502 * places we can slide it to.
504 for (i
= 0; i
< wh
; i
++) {
509 for (j
= 0; j
< wh
; j
++)
510 movereached
[j
] = FALSE
;
511 movequeue
[mqtail
++] = i
;
512 while (mqhead
< mqtail
) {
513 int pos
= movequeue
[mqhead
++];
516 * Try to move in each direction from here.
518 for (dir
= 0; dir
< 4; dir
++) {
519 int dx
= (dir
== 0 ?
-1 : dir
== 1 ?
+1 : 0);
520 int dy
= (dir
== 2 ?
-1 : dir
== 3 ?
+1 : 0);
521 int offset
= dy
*w
+ dx
;
522 int newpos
= pos
+ offset
;
526 * For each square involved in this block,
527 * check to see if the square d spaces away
528 * from it is either empty or part of the same
531 for (j
= i
; j
>= 0; j
= next
[j
]) {
532 int jy
= (pos
+j
-i
) / w
+ dy
, jx
= (pos
+j
-i
) % w
+ dx
;
533 if (jy
>= 0 && jy
< h
&& jx
>= 0 && jx
< w
&&
534 ((b
->data
[j
+d
] == EMPTY
|| which
[j
+d
] == i
) &&
535 (b
->data
[i
] == MAINANCHOR
|| !forcefield
[j
+d
])))
541 continue; /* this direction wasn't feasible */
544 * If we've already tried moving this piece
547 if (movereached
[newpos
])
549 movereached
[newpos
] = TRUE
;
550 movequeue
[mqtail
++] = newpos
;
553 * We have a viable move. Make it.
555 b2
= newboard(w
, h
, b
->data
);
556 for (j
= i
; j
>= 0; j
= next
[j
])
558 for (j
= i
; j
>= 0; j
= next
[j
])
559 b2
->data
[j
+d
] = b
->data
[j
];
561 b3
= add234(sorted
, b2
);
563 sfree(b2
); /* we already got one */
565 b2
->dist
= b
->dist
+ 1;
567 addpos234(queue
, b2
, qlen
++);
568 if (b2
->data
[ty
*w
+tx
] == MAINANCHOR
)
569 goto done
; /* search completed! */
583 * Now b2 represents the solved position. Backtrack to
584 * output the solution.
586 *moveout
= snewn(ret
* 2, int);
590 int from
= -1, to
= -1;
595 * Scan b and b2 to find out which piece has
598 for (i
= 0; i
< wh
; i
++) {
599 if (ISANCHOR(b
->data
[i
]) && !ISANCHOR(b2
->data
[i
])) {
602 } else if (!ISANCHOR(b
->data
[i
]) && ISANCHOR(b2
->data
[i
])){
608 assert(from
>= 0 && to
>= 0);
610 (*moveout
)[--j
] = to
;
611 (*moveout
)[--j
] = from
;
618 ret
= -1; /* no solution */
625 while ((b
= delpos234(sorted
, 0)) != NULL
)
638 /* ----------------------------------------------------------------------
639 * Random board generation.
642 static void generate_board(int w
, int h
, int *rtx
, int *rty
, int *minmoves
,
643 random_state
*rs
, unsigned char **rboard
,
644 unsigned char **rforcefield
, int movelimit
)
647 unsigned char *board
, *board2
, *forcefield
;
648 unsigned char *tried_merge
;
650 int *list
, nlist
, pos
;
656 * Set up a board and fill it with singletons, except for a
659 board
= snewn(wh
, unsigned char);
660 forcefield
= snewn(wh
, unsigned char);
661 board2
= snewn(wh
, unsigned char);
662 memset(board
, ANCHOR
, wh
);
663 memset(forcefield
, FALSE
, wh
);
664 for (i
= 0; i
< w
; i
++)
665 board
[i
] = board
[i
+w
*(h
-1)] = WALL
;
666 for (i
= 0; i
< h
; i
++)
667 board
[i
*w
] = board
[i
*w
+(w
-1)] = WALL
;
669 tried_merge
= snewn(wh
* wh
, unsigned char);
670 memset(tried_merge
, 0, wh
*wh
);
674 * Invent a main piece at one extreme. (FIXME: vary the
675 * extreme, and the piece.)
677 board
[w
+1] = MAINANCHOR
;
678 board
[w
+2] = DIST(1);
679 board
[w
*2+1] = DIST(w
-1);
680 board
[w
*2+2] = DIST(1);
683 * Invent a target position. (FIXME: vary this too.)
687 forcefield
[ty
*w
+tx
+1] = forcefield
[(ty
+1)*w
+tx
+1] = TRUE
;
688 board
[ty
*w
+tx
+1] = board
[(ty
+1)*w
+tx
+1] = EMPTY
;
691 * Gradually remove singletons until the game becomes soluble.
693 for (j
= w
; j
-- > 0 ;)
694 for (i
= h
; i
-- > 0 ;)
695 if (board
[i
*w
+j
] == ANCHOR
) {
697 * See if the board is already soluble.
699 if ((moves
= solve_board(w
, h
, board
, forcefield
,
700 tx
, ty
, movelimit
, NULL
)) >= 0)
704 * Otherwise, remove this piece.
706 board
[i
*w
+j
] = EMPTY
;
708 assert(!"We shouldn't get here");
712 * Make a list of all the inter-block edges on the board.
714 list
= snewn(wh
*2, int);
716 for (i
= 0; i
+1 < w
; i
++)
717 for (j
= 0; j
< h
; j
++)
718 list
[nlist
++] = (j
*w
+i
) * 2 + 0; /* edge to the right of j*w+i */
719 for (j
= 0; j
+1 < h
; j
++)
720 for (i
= 0; i
< w
; i
++)
721 list
[nlist
++] = (j
*w
+i
) * 2 + 1; /* edge below j*w+i */
724 * Now go through that list in random order, trying to merge
725 * the blocks on each side of each edge.
727 shuffle(list
, nlist
, sizeof(*list
), rs
);
733 y1
= y2
= pos
/ (w
*2);
734 x1
= x2
= (pos
/ 2) % w
;
743 * Immediately abandon the attempt if we've already tried
744 * to merge the same pair of blocks along a different
747 c1
= dsf_canonify(dsf
, p1
);
748 c2
= dsf_canonify(dsf
, p2
);
749 if (tried_merge
[c1
* wh
+ c2
])
753 * In order to be mergeable, these two squares must each
754 * either be, or belong to, a non-main anchor, and their
755 * anchors must also be distinct.
757 if (!ISBLOCK(board
[p1
]) || !ISBLOCK(board
[p2
]))
759 while (ISDIST(board
[p1
]))
761 while (ISDIST(board
[p2
]))
763 if (board
[p1
] == MAINANCHOR
|| board
[p2
] == MAINANCHOR
|| p1
== p2
)
767 * We can merge these blocks. Try it, and see if the
768 * puzzle remains soluble.
770 memcpy(board2
, board
, wh
);
772 while (p1
< wh
|| p2
< wh
) {
774 * p1 and p2 are the squares at the head of each block
775 * list. Pick the smaller one and put it on the output
782 assert(i
- j
<= MAXDIST
);
783 board
[i
] = DIST(i
- j
);
788 * Now advance whichever list that came from.
793 } while (p1
< wh
&& board
[p1
] != DIST(p1
-i
));
797 } while (p2
< wh
&& board
[p2
] != DIST(p2
-i
));
800 j
= solve_board(w
, h
, board
, forcefield
, tx
, ty
, movelimit
, NULL
);
803 * Didn't work. Revert the merge.
805 memcpy(board
, board2
, wh
);
806 tried_merge
[c1
* wh
+ c2
] = tried_merge
[c2
* wh
+ c1
] = TRUE
;
812 dsf_merge(dsf
, c1
, c2
);
813 c
= dsf_canonify(dsf
, c1
);
814 for (i
= 0; i
< wh
; i
++)
815 tried_merge
[c
*wh
+i
] = (tried_merge
[c1
*wh
+i
] |
816 tried_merge
[c2
*wh
+i
]);
817 for (i
= 0; i
< wh
; i
++)
818 tried_merge
[i
*wh
+c
] = (tried_merge
[i
*wh
+c1
] |
819 tried_merge
[i
*wh
+c2
]);
828 *rforcefield
= forcefield
;
832 /* ----------------------------------------------------------------------
833 * End of solver/generator code.
836 static char *new_game_desc(game_params
*params
, random_state
*rs
,
837 char **aux
, int interactive
)
839 int w
= params
->w
, h
= params
->h
, wh
= w
*h
;
840 int tx
, ty
, minmoves
;
841 unsigned char *board
, *forcefield
;
845 generate_board(params
->w
, params
->h
, &tx
, &ty
, &minmoves
, rs
,
846 &board
, &forcefield
, params
->maxmoves
);
847 #ifdef GENERATOR_DIAGNOSTICS
849 char *t
= board_text_format(params
->w
, params
->h
, board
);
856 * Encode as a game ID.
858 ret
= snewn(wh
* 6 + 40, char);
862 if (ISDIST(board
[i
])) {
863 p
+= sprintf(p
, "d%d", board
[i
]);
867 int b
= board
[i
], f
= forcefield
[i
];
868 int c
= (b
== ANCHOR ?
'a' :
869 b
== MAINANCHOR ?
'm' :
871 /* b == WALL ? */ 'w');
875 while (i
< wh
&& board
[i
] == b
&& forcefield
[i
] == f
)
878 p
+= sprintf(p
, "%d", count
);
881 p
+= sprintf(p
, ",%d,%d,%d", tx
, ty
, minmoves
);
882 ret
= sresize(ret
, p
+1 - ret
, char);
885 * FIXME: generate an aux string
894 static char *validate_desc(game_params
*params
, char *desc
)
896 int w
= params
->w
, h
= params
->h
, wh
= w
*h
;
898 int mains
= 0, mpos
= -1;
899 int i
, j
, tx
, ty
, minmoves
;
902 active
= snewn(wh
, int);
903 link
= snewn(wh
, int);
906 while (*desc
&& *desc
!= ',') {
908 ret
= "Too much data in game description";
913 if (*desc
== 'f' || *desc
== 'F') {
916 ret
= "Expected another character after 'f' in game "
922 if (*desc
== 'd' || *desc
== 'D') {
926 if (!isdigit((unsigned char)*desc
)) {
927 ret
= "Expected a number after 'd' in game description";
931 while (*desc
&& isdigit((unsigned char)*desc
)) desc
++;
933 if (dist
<= 0 || dist
> i
) {
934 ret
= "Out-of-range number after 'd' in game description";
938 if (!active
[i
- dist
]) {
939 ret
= "Invalid back-reference in game description";
944 for (j
= i
; j
> 0; j
= link
[j
])
945 if (j
== i
-1 || j
== i
-w
)
948 ret
= "Disconnected piece in game description";
953 active
[link
[i
]] = FALSE
;
959 if (!strchr("aAmMeEwW", c
)) {
960 ret
= "Invalid character in game description";
963 if (isdigit((unsigned char)*desc
)) {
965 while (*desc
&& isdigit((unsigned char)*desc
)) desc
++;
967 if (i
+ count
> wh
) {
968 ret
= "Too much data in game description";
971 while (count
-- > 0) {
972 active
[i
] = (strchr("aAmM", c
) != NULL
);
974 if (strchr("mM", c
) != NULL
) {
983 ret
= (mains
== 0 ?
"No main piece specified in game description" :
984 "More than one main piece specified in game description");
988 ret
= "Not enough data in game description";
993 * Now read the target coordinates.
995 i
= sscanf(desc
, ",%d,%d,%d", &tx
, &ty
, &minmoves
);
997 ret
= "No target coordinates specified";
1000 * (but minmoves is optional)
1012 static game_state
*new_game(midend
*me
, game_params
*params
, char *desc
)
1014 int w
= params
->w
, h
= params
->h
, wh
= w
*h
;
1018 state
= snew(game_state
);
1021 state
->board
= snewn(wh
, unsigned char);
1022 state
->lastmoved
= state
->lastmoved_pos
= -1;
1023 state
->movecount
= 0;
1024 state
->imm
= snew(struct game_immutable_state
);
1025 state
->imm
->refcount
= 1;
1026 state
->imm
->forcefield
= snewn(wh
, unsigned char);
1030 while (*desc
&& *desc
!= ',') {
1041 if (*desc
== 'd' || *desc
== 'D') {
1046 while (*desc
&& isdigit((unsigned char)*desc
)) desc
++;
1048 state
->board
[i
] = DIST(dist
);
1049 state
->imm
->forcefield
[i
] = f
;
1056 if (isdigit((unsigned char)*desc
)) {
1058 while (*desc
&& isdigit((unsigned char)*desc
)) desc
++;
1060 assert(i
+ count
<= wh
);
1062 c
= (c
== 'a' || c
== 'A' ? ANCHOR
:
1063 c
== 'm' || c
== 'M' ? MAINANCHOR
:
1064 c
== 'e' || c
== 'E' ? EMPTY
:
1065 /* c == 'w' || c == 'W' ? */ WALL
);
1067 while (count
-- > 0) {
1068 state
->board
[i
] = c
;
1069 state
->imm
->forcefield
[i
] = f
;
1076 * Now read the target coordinates.
1078 state
->tx
= state
->ty
= 0;
1079 state
->minmoves
= -1;
1080 i
= sscanf(desc
, ",%d,%d,%d", &state
->tx
, &state
->ty
, &state
->minmoves
);
1082 if (state
->board
[state
->ty
*w
+state
->tx
] == MAINANCHOR
)
1083 state
->completed
= 0; /* already complete! */
1085 state
->completed
= -1;
1090 static game_state
*dup_game(game_state
*state
)
1092 int w
= state
->w
, h
= state
->h
, wh
= w
*h
;
1093 game_state
*ret
= snew(game_state
);
1097 ret
->board
= snewn(wh
, unsigned char);
1098 memcpy(ret
->board
, state
->board
, wh
);
1099 ret
->tx
= state
->tx
;
1100 ret
->ty
= state
->ty
;
1101 ret
->minmoves
= state
->minmoves
;
1102 ret
->lastmoved
= state
->lastmoved
;
1103 ret
->lastmoved_pos
= state
->lastmoved_pos
;
1104 ret
->movecount
= state
->movecount
;
1105 ret
->completed
= state
->completed
;
1106 ret
->imm
= state
->imm
;
1107 ret
->imm
->refcount
++;
1112 static void free_game(game_state
*state
)
1114 if (--state
->imm
->refcount
<= 0) {
1115 sfree(state
->imm
->forcefield
);
1118 sfree(state
->board
);
1122 static char *solve_game(game_state
*state
, game_state
*currstate
,
1123 char *aux
, char **error
)
1126 * FIXME: we have a solver, so use it
1128 * FIXME: we should have generated an aux string, so use that
1133 static char *game_text_format(game_state
*state
)
1135 return board_text_format(state
->w
, state
->h
, state
->board
,
1136 state
->imm
->forcefield
);
1142 int drag_offset_x
, drag_offset_y
;
1144 unsigned char *reachable
;
1145 int *bfs_queue
; /* used as scratch in interpret_move */
1148 static game_ui
*new_ui(game_state
*state
)
1150 int w
= state
->w
, h
= state
->h
, wh
= w
*h
;
1151 game_ui
*ui
= snew(game_ui
);
1153 ui
->dragging
= FALSE
;
1154 ui
->drag_anchor
= ui
->drag_currpos
= -1;
1155 ui
->drag_offset_x
= ui
->drag_offset_y
= -1;
1156 ui
->reachable
= snewn(wh
, unsigned char);
1157 memset(ui
->reachable
, 0, wh
);
1158 ui
->bfs_queue
= snewn(wh
, int);
1163 static void free_ui(game_ui
*ui
)
1165 sfree(ui
->bfs_queue
);
1166 sfree(ui
->reachable
);
1170 static char *encode_ui(game_ui
*ui
)
1175 static void decode_ui(game_ui
*ui
, char *encoding
)
1179 static void game_changed_state(game_ui
*ui
, game_state
*oldstate
,
1180 game_state
*newstate
)
1184 #define PREFERRED_TILESIZE 32
1185 #define TILESIZE (ds->tilesize)
1186 #define BORDER (TILESIZE/2)
1187 #define COORD(x) ( (x) * TILESIZE + BORDER )
1188 #define FROMCOORD(x) ( ((x) - BORDER + TILESIZE) / TILESIZE - 1 )
1189 #define BORDER_WIDTH (1 + TILESIZE/20)
1190 #define HIGHLIGHT_WIDTH (1 + TILESIZE/16)
1192 #define FLASH_INTERVAL 0.10F
1193 #define FLASH_TIME 3*FLASH_INTERVAL
1195 struct game_drawstate
{
1198 unsigned long *grid
; /* what's currently displayed */
1202 static char *interpret_move(game_state
*state
, game_ui
*ui
, game_drawstate
*ds
,
1203 int x
, int y
, int button
)
1205 int w
= state
->w
, h
= state
->h
, wh
= w
*h
;
1209 if (button
== LEFT_BUTTON
) {
1213 if (tx
< 0 || tx
>= w
|| ty
< 0 || ty
>= h
||
1214 !ISBLOCK(state
->board
[ty
*w
+tx
]))
1215 return NULL
; /* this click has no effect */
1218 * User has clicked on a block. Find the block's anchor
1219 * and register that we've started dragging it.
1222 while (ISDIST(state
->board
[i
]))
1223 i
-= state
->board
[i
];
1224 assert(i
>= 0 && i
< wh
);
1226 ui
->dragging
= TRUE
;
1227 ui
->drag_anchor
= i
;
1228 ui
->drag_offset_x
= tx
- (i
% w
);
1229 ui
->drag_offset_y
= ty
- (i
/ w
);
1230 ui
->drag_currpos
= i
;
1233 * Now we immediately bfs out from the current location of
1234 * the anchor, to find all the places to which this block
1237 memset(ui
->reachable
, FALSE
, wh
);
1239 ui
->reachable
[i
] = TRUE
;
1240 ui
->bfs_queue
[qtail
++] = i
;
1241 for (j
= i
; j
< wh
; j
++)
1242 if (state
->board
[j
] == DIST(j
- i
))
1244 while (qhead
< qtail
) {
1245 int pos
= ui
->bfs_queue
[qhead
++];
1246 int x
= pos
% w
, y
= pos
/ w
;
1249 for (dir
= 0; dir
< 4; dir
++) {
1250 int dx
= (dir
== 0 ?
-1 : dir
== 1 ?
+1 : 0);
1251 int dy
= (dir
== 2 ?
-1 : dir
== 3 ?
+1 : 0);
1254 if (x
+ dx
< 0 || x
+ dx
>= w
||
1255 y
+ dy
< 0 || y
+ dy
>= h
)
1258 newpos
= pos
+ dy
*w
+ dx
;
1259 if (ui
->reachable
[newpos
])
1260 continue; /* already done this one */
1263 * Now search the grid to see if the block we're
1264 * dragging could fit into this space.
1266 for (j
= i
; j
>= 0; j
= (ISDIST(state
->board
[j
]) ?
1267 j
- state
->board
[j
] : -1)) {
1268 int jx
= (j
+pos
-ui
->drag_anchor
) % w
;
1269 int jy
= (j
+pos
-ui
->drag_anchor
) / w
;
1272 if (jx
+ dx
< 0 || jx
+ dx
>= w
||
1273 jy
+ dy
< 0 || jy
+ dy
>= h
)
1274 break; /* this position isn't valid at all */
1276 j2
= (j
+pos
-ui
->drag_anchor
) + dy
*w
+ dx
;
1278 if (state
->board
[j2
] == EMPTY
&&
1279 (!state
->imm
->forcefield
[j2
] ||
1280 state
->board
[ui
->drag_anchor
] == MAINANCHOR
))
1282 while (ISDIST(state
->board
[j2
]))
1283 j2
-= state
->board
[j2
];
1284 assert(j2
>= 0 && j2
< wh
);
1285 if (j2
== ui
->drag_anchor
)
1293 * If we got to the end of that loop without
1294 * disqualifying this position, mark it as
1295 * reachable for this drag.
1297 ui
->reachable
[newpos
] = TRUE
;
1298 ui
->bfs_queue
[qtail
++] = newpos
;
1304 * And that's it. Update the display to reflect the start
1308 } else if (button
== LEFT_DRAG
&& ui
->dragging
) {
1312 tx
-= ui
->drag_offset_x
;
1313 ty
-= ui
->drag_offset_y
;
1314 if (tx
< 0 || tx
>= w
|| ty
< 0 || ty
>= h
||
1315 !ui
->reachable
[ty
*w
+tx
])
1316 return NULL
; /* this drag has no effect */
1318 ui
->drag_currpos
= ty
*w
+tx
;
1320 } else if (button
== LEFT_RELEASE
&& ui
->dragging
) {
1321 char data
[256], *str
;
1324 * Terminate the drag, and if the piece has actually moved
1325 * then return a move string quoting the old and new
1326 * locations of the piece's anchor.
1328 if (ui
->drag_anchor
!= ui
->drag_currpos
) {
1329 sprintf(data
, "M%d-%d", ui
->drag_anchor
, ui
->drag_currpos
);
1332 str
= ""; /* null move; just update the UI */
1334 ui
->dragging
= FALSE
;
1335 ui
->drag_anchor
= ui
->drag_currpos
= -1;
1336 ui
->drag_offset_x
= ui
->drag_offset_y
= -1;
1337 memset(ui
->reachable
, 0, wh
);
1345 static int move_piece(int w
, int h
, const unsigned char *src
,
1346 unsigned char *dst
, unsigned char *ff
, int from
, int to
)
1351 if (!ISANCHOR(dst
[from
]))
1355 * Scan to the far end of the piece's linked list.
1357 for (i
= j
= from
; j
< wh
; j
++)
1358 if (src
[j
] == DIST(j
- i
))
1362 * Remove the piece from its old location in the new
1365 for (j
= i
; j
>= 0; j
= (ISDIST(src
[j
]) ? j
- src
[j
] : -1))
1369 * And put it back in at the new location.
1371 for (j
= i
; j
>= 0; j
= (ISDIST(src
[j
]) ? j
- src
[j
] : -1)) {
1372 int jn
= j
+ to
- from
;
1373 if (jn
< 0 || jn
>= wh
)
1375 if (dst
[jn
] == EMPTY
&& (!ff
[jn
] || src
[from
] == MAINANCHOR
)) {
1385 static game_state
*execute_move(game_state
*state
, char *move
)
1387 int w
= state
->w
, h
= state
->h
/* , wh = w*h */;
1390 game_state
*ret
= dup_game(state
);
1396 if (sscanf(move
, "%d-%d%n", &a1
, &a2
, &n
) != 2 ||
1397 !move_piece(w
, h
, state
->board
, ret
->board
,
1398 state
->imm
->forcefield
, a1
, a2
)) {
1402 if (a1
== ret
->lastmoved
) {
1404 * If the player has moved the same piece as they
1405 * moved last time, don't increment the move
1406 * count. In fact, if they've put the piece back
1407 * where it started from, _decrement_ the move
1410 if (a2
== ret
->lastmoved_pos
) {
1411 ret
->movecount
--; /* reverted last move */
1412 ret
->lastmoved
= ret
->lastmoved_pos
= -1;
1414 ret
->lastmoved
= a2
;
1415 /* don't change lastmoved_pos */
1418 ret
->lastmoved
= a2
;
1419 ret
->lastmoved_pos
= a1
;
1422 if (ret
->board
[a2
] == MAINANCHOR
&&
1423 a2
== ret
->ty
* w
+ ret
->tx
&& ret
->completed
< 0)
1424 ret
->completed
= ret
->movecount
;
1441 /* ----------------------------------------------------------------------
1445 static void game_compute_size(game_params
*params
, int tilesize
,
1448 /* fool the macros */
1449 struct dummy
{ int tilesize
; } dummy
= { tilesize
}, *ds
= &dummy
;
1451 *x
= params
->w
* TILESIZE
+ 2*BORDER
;
1452 *y
= params
->h
* TILESIZE
+ 2*BORDER
;
1455 static void game_set_size(drawing
*dr
, game_drawstate
*ds
,
1456 game_params
*params
, int tilesize
)
1458 ds
->tilesize
= tilesize
;
1461 static void raise_colour(float *target
, float *src
, float *limit
)
1464 for (i
= 0; i
< 3; i
++)
1465 target
[i
] = (2*src
[i
] + limit
[i
]) / 3;
1468 static float *game_colours(frontend
*fe
, int *ncolours
)
1470 float *ret
= snewn(3 * NCOLOURS
, float);
1472 game_mkhighlight(fe
, ret
, COL_BACKGROUND
, COL_HIGHLIGHT
, COL_LOWLIGHT
);
1475 * When dragging a tile, we light it up a bit.
1477 raise_colour(ret
+3*COL_DRAGGING
,
1478 ret
+3*COL_BACKGROUND
, ret
+3*COL_HIGHLIGHT
);
1479 raise_colour(ret
+3*COL_DRAGGING_HIGHLIGHT
,
1480 ret
+3*COL_HIGHLIGHT
, ret
+3*COL_HIGHLIGHT
);
1481 raise_colour(ret
+3*COL_DRAGGING_LOWLIGHT
,
1482 ret
+3*COL_LOWLIGHT
, ret
+3*COL_HIGHLIGHT
);
1485 * The main tile is tinted blue.
1487 ret
[COL_MAIN
* 3 + 0] = ret
[COL_BACKGROUND
* 3 + 0];
1488 ret
[COL_MAIN
* 3 + 1] = ret
[COL_BACKGROUND
* 3 + 1];
1489 ret
[COL_MAIN
* 3 + 2] = ret
[COL_HIGHLIGHT
* 3 + 2];
1490 game_mkhighlight_specific(fe
, ret
, COL_MAIN
,
1491 COL_MAIN_HIGHLIGHT
, COL_MAIN_LOWLIGHT
);
1494 * And we light that up a bit too when dragging.
1496 raise_colour(ret
+3*COL_MAIN_DRAGGING
,
1497 ret
+3*COL_MAIN
, ret
+3*COL_MAIN_HIGHLIGHT
);
1498 raise_colour(ret
+3*COL_MAIN_DRAGGING_HIGHLIGHT
,
1499 ret
+3*COL_MAIN_HIGHLIGHT
, ret
+3*COL_MAIN_HIGHLIGHT
);
1500 raise_colour(ret
+3*COL_MAIN_DRAGGING_LOWLIGHT
,
1501 ret
+3*COL_MAIN_LOWLIGHT
, ret
+3*COL_MAIN_HIGHLIGHT
);
1504 * The target area on the floor is tinted green.
1506 ret
[COL_TARGET
* 3 + 0] = ret
[COL_BACKGROUND
* 3 + 0];
1507 ret
[COL_TARGET
* 3 + 1] = ret
[COL_HIGHLIGHT
* 3 + 1];
1508 ret
[COL_TARGET
* 3 + 2] = ret
[COL_BACKGROUND
* 3 + 2];
1509 game_mkhighlight_specific(fe
, ret
, COL_TARGET
,
1510 COL_TARGET_HIGHLIGHT
, COL_TARGET_LOWLIGHT
);
1512 *ncolours
= NCOLOURS
;
1516 static game_drawstate
*game_new_drawstate(drawing
*dr
, game_state
*state
)
1518 int w
= state
->w
, h
= state
->h
, wh
= w
*h
;
1519 struct game_drawstate
*ds
= snew(struct game_drawstate
);
1525 ds
->started
= FALSE
;
1526 ds
->grid
= snewn(wh
, unsigned long);
1527 for (i
= 0; i
< wh
; i
++)
1528 ds
->grid
[i
] = ~(unsigned long)0;
1533 static void game_free_drawstate(drawing
*dr
, game_drawstate
*ds
)
1539 #define BG_NORMAL 0x00000001UL
1540 #define BG_TARGET 0x00000002UL
1541 #define BG_FORCEFIELD 0x00000004UL
1542 #define FLASH_LOW 0x00000008UL
1543 #define FLASH_HIGH 0x00000010UL
1544 #define FG_WALL 0x00000020UL
1545 #define FG_MAIN 0x00000040UL
1546 #define FG_NORMAL 0x00000080UL
1547 #define FG_DRAGGING 0x00000100UL
1548 #define FG_LBORDER 0x00000200UL
1549 #define FG_TBORDER 0x00000400UL
1550 #define FG_RBORDER 0x00000800UL
1551 #define FG_BBORDER 0x00001000UL
1552 #define FG_TLCORNER 0x00002000UL
1553 #define FG_TRCORNER 0x00004000UL
1554 #define FG_BLCORNER 0x00008000UL
1555 #define FG_BRCORNER 0x00010000UL
1560 #define TYPE_MASK 0xF000
1561 #define COL_MASK 0x0FFF
1562 #define TYPE_RECT 0x0000
1563 #define TYPE_TLCIRC 0x4000
1564 #define TYPE_TRCIRC 0x5000
1565 #define TYPE_BLCIRC 0x6000
1566 #define TYPE_BRCIRC 0x7000
1567 static void maybe_rect(drawing
*dr
, int x
, int y
, int w
, int h
, int coltype
)
1569 int colour
= coltype
& COL_MASK
, type
= coltype
& TYPE_MASK
;
1571 if (colour
> NCOLOURS
)
1573 if (type
== TYPE_RECT
) {
1574 draw_rect(dr
, x
, y
, w
, h
, colour
);
1578 clip(dr
, x
, y
, w
, h
);
1588 draw_circle(dr
, cx
, cy
, r
, colour
, colour
);
1594 static void draw_tile(drawing
*dr
, game_drawstate
*ds
,
1595 int x
, int y
, unsigned long val
)
1597 int tx
= COORD(x
), ty
= COORD(y
);
1601 * Draw the tile background.
1603 if (val
& BG_TARGET
)
1606 cc
= COL_BACKGROUND
;
1609 if (val
& FLASH_LOW
)
1611 else if (val
& FLASH_HIGH
)
1614 draw_rect(dr
, tx
, ty
, TILESIZE
, TILESIZE
, cc
);
1615 if (val
& BG_FORCEFIELD
) {
1617 * Cattle-grid effect to indicate that nothing but the
1618 * main block can slide over this square.
1620 int n
= 3 * (TILESIZE
/ (3*HIGHLIGHT_WIDTH
));
1623 for (i
= 1; i
< n
; i
+= 3) {
1624 draw_rect(dr
, tx
,ty
+(TILESIZE
*i
/n
), TILESIZE
,HIGHLIGHT_WIDTH
, cl
);
1625 draw_rect(dr
, tx
+(TILESIZE
*i
/n
),ty
, HIGHLIGHT_WIDTH
,TILESIZE
, cl
);
1630 * Draw the tile foreground, i.e. some section of a block or
1633 if (val
& FG_WALL
) {
1634 cc
= COL_BACKGROUND
;
1637 if (val
& FLASH_LOW
)
1639 else if (val
& FLASH_HIGH
)
1642 draw_rect(dr
, tx
, ty
, TILESIZE
, TILESIZE
, cc
);
1643 if (val
& FG_LBORDER
)
1644 draw_rect(dr
, tx
, ty
, HIGHLIGHT_WIDTH
, TILESIZE
,
1646 if (val
& FG_RBORDER
)
1647 draw_rect(dr
, tx
+TILESIZE
-HIGHLIGHT_WIDTH
, ty
,
1648 HIGHLIGHT_WIDTH
, TILESIZE
, cl
);
1649 if (val
& FG_TBORDER
)
1650 draw_rect(dr
, tx
, ty
, TILESIZE
, HIGHLIGHT_WIDTH
, ch
);
1651 if (val
& FG_BBORDER
)
1652 draw_rect(dr
, tx
, ty
+TILESIZE
-HIGHLIGHT_WIDTH
,
1653 TILESIZE
, HIGHLIGHT_WIDTH
, cl
);
1654 if (!((FG_BBORDER
| FG_LBORDER
) &~ val
))
1655 draw_rect(dr
, tx
, ty
+TILESIZE
-HIGHLIGHT_WIDTH
,
1656 HIGHLIGHT_WIDTH
, HIGHLIGHT_WIDTH
, cc
);
1657 if (!((FG_TBORDER
| FG_RBORDER
) &~ val
))
1658 draw_rect(dr
, tx
+TILESIZE
-HIGHLIGHT_WIDTH
, ty
,
1659 HIGHLIGHT_WIDTH
, HIGHLIGHT_WIDTH
, cc
);
1660 if (val
& FG_TLCORNER
)
1661 draw_rect(dr
, tx
, ty
, HIGHLIGHT_WIDTH
, HIGHLIGHT_WIDTH
, ch
);
1662 if (val
& FG_BRCORNER
)
1663 draw_rect(dr
, tx
+TILESIZE
-HIGHLIGHT_WIDTH
,
1664 ty
+TILESIZE
-HIGHLIGHT_WIDTH
,
1665 HIGHLIGHT_WIDTH
, HIGHLIGHT_WIDTH
, cl
);
1666 } else if (val
& (FG_MAIN
| FG_NORMAL
)) {
1669 if (val
& FG_DRAGGING
)
1670 cc
= (val
& FG_MAIN ? COL_MAIN_DRAGGING
: COL_DRAGGING
);
1672 cc
= (val
& FG_MAIN ? COL_MAIN
: COL_BACKGROUND
);
1676 if (val
& FLASH_LOW
)
1678 else if (val
& FLASH_HIGH
)
1682 * Drawing the blocks is hellishly fiddly. The blocks
1683 * don't stretch to the full size of the tile; there's a
1684 * border around them of size BORDER_WIDTH. Then they have
1685 * bevelled borders of size HIGHLIGHT_WIDTH, and also
1688 * I tried for some time to find a clean and clever way to
1689 * figure out what needed drawing from the corner and
1690 * border flags, but in the end the cleanest way I could
1691 * find was the following. We divide the grid square into
1692 * 25 parts by ruling four horizontal and four vertical
1693 * lines across it; those lines are at BORDER_WIDTH and
1694 * BORDER_WIDTH+HIGHLIGHT_WIDTH from the top, from the
1695 * bottom, from the left and from the right. Then we
1696 * carefully consider each of the resulting 25 sections of
1697 * square, and decide separately what needs to go in it
1698 * based on the flags. In complicated cases there can be
1699 * up to five possibilities affecting any given section
1700 * (no corner or border flags, just the corner flag, one
1701 * border flag, the other border flag, both border flags).
1702 * So there's a lot of very fiddly logic here and all I
1703 * could really think to do was give it my best shot and
1704 * then test it and correct all the typos. Not fun to
1705 * write, and I'm sure it isn't fun to read either, but it
1710 x
[1] = x
[0] + BORDER_WIDTH
;
1711 x
[2] = x
[1] + HIGHLIGHT_WIDTH
;
1712 x
[5] = tx
+ TILESIZE
;
1713 x
[4] = x
[5] - BORDER_WIDTH
;
1714 x
[3] = x
[4] - HIGHLIGHT_WIDTH
;
1717 y
[1] = y
[0] + BORDER_WIDTH
;
1718 y
[2] = y
[1] + HIGHLIGHT_WIDTH
;
1719 y
[5] = ty
+ TILESIZE
;
1720 y
[4] = y
[5] - BORDER_WIDTH
;
1721 y
[3] = y
[4] - HIGHLIGHT_WIDTH
;
1723 #define RECT(p,q) x[p], y[q], x[(p)+1]-x[p], y[(q)+1]-y[q]
1725 maybe_rect(dr
, RECT(0,0),
1726 (val
& (FG_TLCORNER
| FG_TBORDER
| FG_LBORDER
)) ?
-1 : cc
);
1727 maybe_rect(dr
, RECT(1,0),
1728 (val
& FG_TLCORNER
) ? ch
: (val
& FG_TBORDER
) ?
-1 :
1729 (val
& FG_LBORDER
) ? ch
: cc
);
1730 maybe_rect(dr
, RECT(2,0),
1731 (val
& FG_TBORDER
) ?
-1 : cc
);
1732 maybe_rect(dr
, RECT(3,0),
1733 (val
& FG_TRCORNER
) ? cl
: (val
& FG_TBORDER
) ?
-1 :
1734 (val
& FG_RBORDER
) ? cl
: cc
);
1735 maybe_rect(dr
, RECT(4,0),
1736 (val
& (FG_TRCORNER
| FG_TBORDER
| FG_RBORDER
)) ?
-1 : cc
);
1737 maybe_rect(dr
, RECT(0,1),
1738 (val
& FG_TLCORNER
) ? ch
: (val
& FG_LBORDER
) ?
-1 :
1739 (val
& FG_TBORDER
) ? ch
: cc
);
1740 maybe_rect(dr
, RECT(1,1),
1741 (val
& FG_TLCORNER
) ? cc
: -1);
1742 maybe_rect(dr
, RECT(1,1),
1743 (val
& FG_TLCORNER
) ? ch
| TYPE_TLCIRC
:
1744 !((FG_TBORDER
| FG_LBORDER
) &~ val
) ? ch
| TYPE_BRCIRC
:
1745 (val
& (FG_TBORDER
| FG_LBORDER
)) ? ch
: cc
);
1746 maybe_rect(dr
, RECT(2,1),
1747 (val
& FG_TBORDER
) ? ch
: cc
);
1748 maybe_rect(dr
, RECT(3,1),
1749 (val
& (FG_TBORDER
| FG_RBORDER
)) == FG_TBORDER ? ch
:
1750 (val
& (FG_TBORDER
| FG_RBORDER
)) == FG_RBORDER ? cl
:
1751 !((FG_TBORDER
|FG_RBORDER
) &~ val
) ? cc
| TYPE_BLCIRC
: cc
);
1752 maybe_rect(dr
, RECT(4,1),
1753 (val
& FG_TRCORNER
) ? ch
: (val
& FG_RBORDER
) ?
-1 :
1754 (val
& FG_TBORDER
) ? ch
: cc
);
1755 maybe_rect(dr
, RECT(0,2),
1756 (val
& FG_LBORDER
) ?
-1 : cc
);
1757 maybe_rect(dr
, RECT(1,2),
1758 (val
& FG_LBORDER
) ? ch
: cc
);
1759 maybe_rect(dr
, RECT(2,2),
1761 maybe_rect(dr
, RECT(3,2),
1762 (val
& FG_RBORDER
) ? cl
: cc
);
1763 maybe_rect(dr
, RECT(4,2),
1764 (val
& FG_RBORDER
) ?
-1 : cc
);
1765 maybe_rect(dr
, RECT(0,3),
1766 (val
& FG_BLCORNER
) ? cl
: (val
& FG_LBORDER
) ?
-1 :
1767 (val
& FG_BBORDER
) ? cl
: cc
);
1768 maybe_rect(dr
, RECT(1,3),
1769 (val
& (FG_BBORDER
| FG_LBORDER
)) == FG_BBORDER ? cl
:
1770 (val
& (FG_BBORDER
| FG_LBORDER
)) == FG_LBORDER ? ch
:
1771 !((FG_BBORDER
|FG_LBORDER
) &~ val
) ? cc
| TYPE_TRCIRC
: cc
);
1772 maybe_rect(dr
, RECT(2,3),
1773 (val
& FG_BBORDER
) ? cl
: cc
);
1774 maybe_rect(dr
, RECT(3,3),
1775 (val
& FG_BRCORNER
) ? cc
: -1);
1776 maybe_rect(dr
, RECT(3,3),
1777 (val
& FG_BRCORNER
) ? cl
| TYPE_BRCIRC
:
1778 !((FG_BBORDER
| FG_RBORDER
) &~ val
) ? cl
| TYPE_TLCIRC
:
1779 (val
& (FG_BBORDER
| FG_RBORDER
)) ? cl
: cc
);
1780 maybe_rect(dr
, RECT(4,3),
1781 (val
& FG_BRCORNER
) ? cl
: (val
& FG_RBORDER
) ?
-1 :
1782 (val
& FG_BBORDER
) ? cl
: cc
);
1783 maybe_rect(dr
, RECT(0,4),
1784 (val
& (FG_BLCORNER
| FG_BBORDER
| FG_LBORDER
)) ?
-1 : cc
);
1785 maybe_rect(dr
, RECT(1,4),
1786 (val
& FG_BLCORNER
) ? ch
: (val
& FG_BBORDER
) ?
-1 :
1787 (val
& FG_LBORDER
) ? ch
: cc
);
1788 maybe_rect(dr
, RECT(2,4),
1789 (val
& FG_BBORDER
) ?
-1 : cc
);
1790 maybe_rect(dr
, RECT(3,4),
1791 (val
& FG_BRCORNER
) ? cl
: (val
& FG_BBORDER
) ?
-1 :
1792 (val
& FG_RBORDER
) ? cl
: cc
);
1793 maybe_rect(dr
, RECT(4,4),
1794 (val
& (FG_BRCORNER
| FG_BBORDER
| FG_RBORDER
)) ?
-1 : cc
);
1800 draw_update(dr
, tx
, ty
, TILESIZE
, TILESIZE
);
1803 static void game_redraw(drawing
*dr
, game_drawstate
*ds
, game_state
*oldstate
,
1804 game_state
*state
, int dir
, game_ui
*ui
,
1805 float animtime
, float flashtime
)
1807 int w
= state
->w
, h
= state
->h
, wh
= w
*h
;
1808 unsigned char *board
;
1810 int x
, y
, mainanchor
, mainpos
, dragpos
;
1814 * The initial contents of the window are not guaranteed
1815 * and can vary with front ends. To be on the safe side,
1816 * all games should start by drawing a big
1817 * background-colour rectangle covering the whole window.
1819 draw_rect(dr
, 0, 0, 10*ds
->tilesize
, 10*ds
->tilesize
, COL_BACKGROUND
);
1824 * Construct the board we'll be displaying (which may be
1825 * different from the one in state if ui describes a drag in
1828 board
= snewn(wh
, unsigned char);
1829 memcpy(board
, state
->board
, wh
);
1831 int mpret
= move_piece(w
, h
, state
->board
, board
,
1832 state
->imm
->forcefield
,
1833 ui
->drag_anchor
, ui
->drag_currpos
);
1838 * Build a dsf out of that board, so we can conveniently tell
1839 * which edges are connected and which aren't.
1843 for (y
= 0; y
< h
; y
++)
1844 for (x
= 0; x
< w
; x
++) {
1847 if (ISDIST(board
[i
]))
1848 dsf_merge(dsf
, i
, i
- board
[i
]);
1849 if (board
[i
] == MAINANCHOR
)
1851 if (board
[i
] == WALL
) {
1852 if (x
> 0 && board
[i
-1] == WALL
)
1853 dsf_merge(dsf
, i
, i
-1);
1854 if (y
> 0 && board
[i
-w
] == WALL
)
1855 dsf_merge(dsf
, i
, i
-w
);
1858 assert(mainanchor
>= 0);
1859 mainpos
= dsf_canonify(dsf
, mainanchor
);
1860 dragpos
= ui
->drag_currpos
> 0 ?
dsf_canonify(dsf
, ui
->drag_currpos
) : -1;
1863 * Now we can construct the data about what we want to draw.
1865 for (y
= 0; y
< h
; y
++)
1866 for (x
= 0; x
< w
; x
++) {
1873 * See if this square is part of the target area.
1875 j
= i
+ mainanchor
- (state
->ty
* w
+ state
->tx
);
1876 while (j
>= 0 && j
< wh
&& ISDIST(board
[j
]))
1878 if (j
== mainanchor
)
1883 if (state
->imm
->forcefield
[i
])
1884 val
|= BG_FORCEFIELD
;
1886 if (flashtime
> 0) {
1887 int flashtype
= (int)(flashtime
/ FLASH_INTERVAL
) & 1;
1888 val
|= (flashtype ? FLASH_LOW
: FLASH_HIGH
);
1891 if (board
[i
] != EMPTY
) {
1892 canon
= dsf_canonify(dsf
, i
);
1894 if (board
[i
] == WALL
)
1896 else if (canon
== mainpos
)
1900 if (canon
== dragpos
)
1904 * Now look around to see if other squares
1905 * belonging to the same block are adjacent to us.
1907 if (x
== 0 || canon
!= dsf_canonify(dsf
, i
-1))
1909 if (y
== 0 || canon
!= dsf_canonify(dsf
, i
-w
))
1911 if (x
== w
-1 || canon
!= dsf_canonify(dsf
, i
+1))
1913 if (y
== h
-1 || canon
!= dsf_canonify(dsf
, i
+w
))
1915 if (!(val
& (FG_TBORDER
| FG_LBORDER
)) &&
1916 canon
!= dsf_canonify(dsf
, i
-1-w
))
1918 if (!(val
& (FG_TBORDER
| FG_RBORDER
)) &&
1919 canon
!= dsf_canonify(dsf
, i
+1-w
))
1921 if (!(val
& (FG_BBORDER
| FG_LBORDER
)) &&
1922 canon
!= dsf_canonify(dsf
, i
-1+w
))
1924 if (!(val
& (FG_BBORDER
| FG_RBORDER
)) &&
1925 canon
!= dsf_canonify(dsf
, i
+1+w
))
1929 if (val
!= ds
->grid
[i
]) {
1930 draw_tile(dr
, ds
, x
, y
, val
);
1936 * Update the status bar.
1939 char statusbuf
[256];
1942 * FIXME: do something about auto-solve?
1944 sprintf(statusbuf
, "%sMoves: %d",
1945 (state
->completed
>= 0 ?
"COMPLETED! " : ""),
1946 (state
->completed
>= 0 ? state
->completed
: state
->movecount
));
1947 if (state
->minmoves
>= 0)
1948 sprintf(statusbuf
+strlen(statusbuf
), " (min %d)",
1951 status_bar(dr
, statusbuf
);
1958 static float game_anim_length(game_state
*oldstate
, game_state
*newstate
,
1959 int dir
, game_ui
*ui
)
1964 static float game_flash_length(game_state
*oldstate
, game_state
*newstate
,
1965 int dir
, game_ui
*ui
)
1967 if (oldstate
->completed
< 0 && newstate
->completed
>= 0)
1973 static int game_timing_state(game_state
*state
, game_ui
*ui
)
1978 static void game_print_size(game_params
*params
, float *x
, float *y
)
1982 static void game_print(drawing
*dr
, game_state
*state
, int tilesize
)
1987 #define thegame nullgame
1990 const struct game thegame
= {
1991 "Slide", NULL
, NULL
,
1998 TRUE
, game_configure
, custom_params
,
2005 FALSE
, solve_game
, /* FIXME */
2006 TRUE
, game_text_format
,
2014 PREFERRED_TILESIZE
, game_compute_size
, game_set_size
,
2017 game_free_drawstate
,
2021 FALSE
, FALSE
, game_print_size
, game_print
,
2022 TRUE
, /* wants_statusbar */
2023 FALSE
, game_timing_state
,
2027 #ifdef STANDALONE_SOLVER
2031 int main(int argc
, char **argv
)
2035 char *id
= NULL
, *desc
, *err
;
2037 int ret
, really_verbose
= FALSE
;
2040 while (--argc
> 0) {
2042 if (!strcmp(p
, "-v")) {
2043 really_verbose
= TRUE
;
2044 } else if (!strcmp(p
, "-c")) {
2046 } else if (*p
== '-') {
2047 fprintf(stderr
, "%s: unrecognised option `%s'\n", argv
[0], p
);
2055 fprintf(stderr
, "usage: %s [-c | -v] <game_id>\n", argv
[0]);
2059 desc
= strchr(id
, ':');
2061 fprintf(stderr
, "%s: game id expects a colon in it\n", argv
[0]);
2066 p
= default_params();
2067 decode_params(p
, id
);
2068 err
= validate_desc(p
, desc
);
2070 fprintf(stderr
, "%s: %s\n", argv
[0], err
);
2073 s
= new_game(NULL
, p
, desc
);
2075 ret
= solve_board(s
->w
, s
->h
, s
->board
, s
->imm
->forcefield
,
2076 s
->tx
, s
->ty
, -1, &moves
);
2078 printf("No solution found\n");
2082 printf("%d moves required\n", ret
);
2087 char *text
= board_text_format(s
->w
, s
->h
, s
->board
,
2088 s
->imm
->forcefield
);
2091 printf("position %d:\n%s", index
, text
);
2097 moveret
= move_piece(s
->w
, s
->h
, s
->board
,
2098 s2
->board
, s
->imm
->forcefield
,
2099 moves
[index
*2], moves
[index
*2+1]);